Package org.flexdock.docking.props

Examples of org.flexdock.docking.props.DockablePropertySet

853
854
855
856
857
858
859
860
861
862
863
        // cache the dockable by ID
        DOCKABLES_BY_ID.put(dockable.getPersistentId(), dockable);

        // make sure we have docking-properties initialized (must come after
        // ID-caching)
        DockablePropertySet props = PropertyManager
                                    .getDockablePropertySet(dockable);

        // dispatch a registration event
        EventManager.dispatch(new RegistrationEvent(dockable,
                              DockingManager.SINGLETON, true));
View Full Code Here
89
90
91
92
93
94
95
96
97
        float percent = (float)loc/(float)dim;
        float minPercent = (float)DockbarLayout.MINIMUM_VIEW_SIZE/(float)dim;
        percent = Math.max(percent, minPercent);

        DockablePropertySet props = dockable.getDockingProperties();
        props.setPreviewSize(percent);
        manager.revalidate();
    }
View Full Code Here
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
        Object obj = getIcon();
        if(!(obj instanceof TextIcon))
            return;

        Dockable d = getDockable();
        DockablePropertySet p = d==null? null: d.getDockingProperties();
        if(p==null)
            return;

        int orientation = getOrientation();
        int rotation = ROTATIONS[orientation];
        Icon dockIcon = p.getDockbarIcon();
        if(dockIcon==null)
            dockIcon = p.getTabIcon();
        String text = p.getDockableDesc();

        TextIcon icon = (TextIcon)obj;
        icon.setIcon(dockIcon);
        icon.setText(text);
        icon.setRotation(rotation);
View Full Code Here
681
682
683
684
685
686
687
688
689
     *         tabbed layout.
     * @see Dockable#getDockingProperties()
     * @see DockablePropertySet#getDockableDesc()
     */
    public static String getTabText(Dockable dockable) {
        DockablePropertySet props = dockable == null ? null : dockable
                                    .getDockingProperties();
        return props == null ? null : props.getDockableDesc();
    }
View Full Code Here
72
73
74
75
76
77
78
79
80
81
82
83
84
85
        Dockable dockable = manager.getActiveDockable();
        if(dockable==null)
            return 0;

        Rectangle rect = DockbarLayoutManager.getManager().getViewArea(manager, dockable);
        DockablePropertySet props = dockable.getDockingProperties();

        // determine what percentage of the viewable area we want the viewpane to take up
        float viewSize = props.getPreviewSize().floatValue();
        int edge = manager.getActiveEdge();
        if(edge==MinimizationManager.LEFT || edge==MinimizationManager.RIGHT) {
            return (int)(((float)rect.width)*viewSize);
        }
        return (int)(((float)rect.height)*viewSize);
 
View Full Code Here
TOP

Related Classes of org.flexdock.docking.props.DockablePropertySet

  • org.flexdock.dockbar.DockbarLabel
  • org.flexdock.dockbar.event.ResizeListener
  • org.flexdock.dockbar.layout.DockbarLayout
  • org.flexdock.docking.DockingManager
  • org.flexdock.util.DockingUtility
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.