public void estimateLocations( SplitDockStationLayout layout, LocationEstimationMap children ) { estimateLocations( layout.getRoot(), children ); }
public void write( SplitDockStationLayout layout, DataOutputStream out ) throws IOException { Version.write( out, Version.VERSION_1_1_0 ); SplitDockStationLayout.Entry root = layout.getRoot(); if( root == null ){ out.writeBoolean( false ); } else{ out.writeBoolean( true ); writeEntry( root, out ); } out.writeInt( layout.getFullscreen() ); out.writeBoolean( layout.hasFullscreenAction() ); }
public void layoutPerspective( SplitDockPerspective perspective, SplitDockStationLayout layout, Map<Integer,PerspectiveDockable> children ){ if( children != null ){ PerspectiveSplitDockTree tree = new PerspectiveSplitDockTree(); PerspectiveSplitDockTree.Key root = null; if( layout.getRoot() != null ){ root = handleEntry( layout.getRoot(), tree, children ); } if( root != null ){ tree.root( root ); } perspective.read( tree, children.get( layout.getFullscreen() ) ); } perspective.setHasFullscreenAction( layout.hasFullscreenAction() ); }
public void write( SplitDockStationLayout layout, XElement element ) { if( layout.getFullscreen() != -1 ){ element.addElement( "fullscreen" ).addInt( "id", layout.getFullscreen() ); } element.addElement( "fullscreen-action" ).setBoolean( layout.hasFullscreenAction() ); if( layout.getRoot() != null ){ writeEntry( layout.getRoot(), element ); } }
public void setLayout( SplitDockStation station, SplitDockStationLayout layout, Map<Integer, Dockable> children, PlaceholderStrategy placeholders ) { DockableSplitDockTree tree = new DockableSplitDockTree(); DockableSplitDockTree.Key root = null; if( layout.getRoot() != null ){ root = handleEntry( layout.getRoot(), tree, children ); } if( root != null ){ tree.root( root ); } station.dropTree( tree, false ); PlaceholderStrategy oldStrategy = station.getPlaceholderStrategy().getStrategy(); if( placeholders != oldStrategy && placeholders != null ){ try{ station.setPlaceholderStrategy( placeholders ); } finally{ station.setPlaceholderStrategy( oldStrategy ); } } Dockable fullscreen = children.get( layout.getFullscreen() ); station.setFullScreen( fullscreen ); }