Package bibliothek.gui

Examples of bibliothek.gui.DockStation


          if( area.isChild( dockable ) ){
            return area;
          }
        }
      }
      DockStation station = dockable.getDockParent();
      if( station == null )
        return null;
      dockable = station.asDockable();
    }
    return null;
  }
View Full Code Here


      for( MaximizedModeArea area : this ){
        if( area.isChild( dockable ) ){
          return area.getUnmaximizedMode();
        }
      }
      DockStation parent = dockable.getDockParent();
      dockable = parent == null ? null : parent.asDockable();
    }
    return null;
  }
View Full Code Here

        mode = manager.getMode( NormalMode.IDENTIFIER );
     
      manager.apply( element, mode.getUniqueIdentifier(), set, true );
    }
    else if( element.asDockStation() != null ){
      DockStation station = element.asDockStation();
      Dockable[] children = new Dockable[ station.getDockableCount() ];
      for( int i = 0; i < children.length; i++ ){
        children[i] = station.getDockable( i );
      }
      for( Dockable child : children ){
        applyOldLocation( child, set );
      }
    }
View Full Code Here

  public void ensureNotHidden( final Dockable dockable ){
    getManager().runTransaction( new AffectingRunnable() {
      public void run( AffectedSet set ){
        Dockable mutableDockable = dockable;

        DockStation parent = mutableDockable.getDockParent();
        Dockable element = getMaximizingElement( mutableDockable );

        while( parent != null ){
          MaximizedModeArea area = getMaximizeArea( parent );
          if( area != null ){
            Dockable[] maximized = area.getMaximized();
            if( maximized != null ){
              for( Dockable check : maximized ){
                if( maximized != null && check != mutableDockable && check != element ){
                  unmaximize( check, set );
               
              }
            }
          }

          mutableDockable = parent.asDockable();
          parent = mutableDockable == null ? null : mutableDockable.getDockParent();
       
      }
    });
  }
View Full Code Here

   * <code>dockable</code> itself.
   * @param dockable the element whose maximize area is searched
   * @return the area or <code>null</code>
   */
  public MaximizedModeArea getMaximizeArea( Dockable dockable ){
    DockStation parent = dockable.getDockParent();
    while( parent != null ){
      MaximizedModeArea area = getMaximizeArea( parent );
      if( area != null )
        return area;

      dockable = parent.asDockable();
      if( dockable == null ){
        parent = null;
      }
      else{
        parent = dockable.getDockParent();
View Full Code Here

      if( manager.isRegistered( dockable )){
        manager.apply( dockable, mode.getUniqueIdentifier(), false );
        return;
      }
     
      DockStation station = dockable.asDockStation();
      if( station == null ){
        return;
      }
      else{
        dockable = station.getFrontDockable();
      }
    }
  }
View Full Code Here

          return Availability.WEAK_FORBIDDEN;
        }
      }
    }
   
    DockStation station = dockable.asDockStation();
    if( station != null ){
      for( int i = 0, n = station.getDockableCount(); i<n; i++ ){
        Availability result = isModeAvailable( station.getDockable( i ), mode );
        if( result != Availability.UNCERTAIN ){
          return result;
        }
      }
    }
View Full Code Here

  public Map<ExtendedMode, DockStation> getRepresentations( String id ){
    if( id == null )
      throw new IllegalArgumentException( "id must not be null" );
    Map<ExtendedMode, DockStation> result = new HashMap<ExtendedMode, DockStation>();
    for( LocationMode mode : modes() ){
      DockStation station = mode.getRepresentation( id );
      if( station != null ){
        result.put( mode.getExtendedMode(), station );
      }
    }
    return result;
View Full Code Here

    while( dockable != null ){
      for( M mode : modes() ){
        if( mode.isCurrentMode( dockable ))
          return mode;
      }
      DockStation station = dockable.getDockParent();
      dockable = station == null ? null : station.asDockable();
    }
   
    return null;
  }
View Full Code Here

TOP

Related Classes of bibliothek.gui.DockStation

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.