public void action( Dockable dockable ) { while( dockable.getDockParent() != split ){ DockStation station = dockable.getDockParent(); if( station == null ) return; dockable = station.asDockable(); if( dockable == null ) return; } Dockable fullscreen = split.getFullScreen(); if( fullscreen == dockable ) split.setFullScreen( null ); else split.setFullScreen( dockable ); }
/** * Switches the child which is in fullscreen-mode. If there is no child, * nothing will happen. If there is only one child, it will be set to * fullscreen (if it is not already fullscreen). */ public void setNextFullScreen(){ if( dockables.size() > 0 ) { if( fullScreenDockable == null ) setFullScreen(getDockable(0)); else { int index = indexOfDockable(fullScreenDockable.getDockable()); index++; index %= getDockableCount(); setFullScreen(getDockable(index)); } } }
/** * Switches the child which is in fullscreen-mode. If there is no child, * nothing will happen. If there is only one child, it will be set to * fullscreen (if it is not already fullscreen). */ public void setNextFullScreen(){ if( dockables.size() > 0 ) { if( fullScreenDockable == null ) setFullScreen(getDockable(0)); else { int index = indexOfDockable(fullScreenDockable.getDockable()); index++; index %= getDockableCount(); setFullScreen(getDockable(index)); } } }
public void setFrontDockable( Dockable dockable ){ Dockable old = getFrontDockable(); this.frontDockable = dockable; if( isFullScreen() && dockable != null ) setFullScreen(dockable); if( old != dockable ){ access.dockableSelected( old ); } }
public boolean process( Dockable dockable, MouseEvent event ){ if( event.isConsumed() || !isExpandOnDoubleclick() ) return false; else { if( dockable == SplitDockStation.this ) return false; dockable = unwrap(dockable); if( dockable != null ) { if( isFullScreen() ) { if( getFullScreen() == dockable ) { setFullScreen(null); event.consume(); } } else { setFullScreen(dockable); event.consume(); } return true; } return false; } }
public boolean process( Dockable dockable, MouseEvent event ){ if( event.isConsumed() || !isExpandOnDoubleclick() ) return false; else { if( dockable == SplitDockStation.this ) return false; dockable = unwrap(dockable); if( dockable != null ) { if( isFullScreen() ) { if( getFullScreen() == dockable ) { setFullScreen(null); event.consume(); } } else { setFullScreen(dockable); event.consume(); } return true; } return false; } }
public void setFrontDockable( Dockable dockable ){ Dockable old = getFrontDockable(); this.frontDockable = dockable; if( isFullScreen() && dockable != null ) setFullScreen(dockable); if( old != dockable ){ access.dockableSelected( old ); } }
station.setFullScreen( null ); station.setFullScreen( dockable ); station.setFullScreen( dockable );
station.setFullScreen( null ); station.setFullScreen( dockable ); station.setFullScreen( dockable );
setFullScreen(dockable); return true; setFullScreen(null); if( !dropOver(leaf, dockable, successor, null, null) ){ return false; setFullScreen(last);
setFullScreen(dockable); return true; setFullScreen(null); if( !dropOver(leaf, dockable, successor, null, null) ){ return false; setFullScreen(last);
setFullScreen(null); removeAllDockables();
setFullScreen(null); removeAllDockables();
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 ); }