/* * Bibliothek - DockingFrames * Library built on Java/Swing, allows the user to "drag and drop" * panels containing any Swing-Component the developer likes to add. * * Copyright (C) 2008 Benjamin Sigg * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software Foundation; either * version 2.1 of the License, or (at your option) any later version. * * This library is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public * License along with this library; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA * * Benjamin Sigg * benjamin_sigg@gmx.ch * CH - Switzerland */ package bibliothek.extension.gui.dock.theme.eclipse; import java.awt.Color; import javax.swing.BorderFactory; import bibliothek.gui.DockController; import bibliothek.gui.dock.focus.DefaultDockableSelection; import bibliothek.gui.dock.focus.DockableSelection; import bibliothek.gui.dock.themes.color.DockableSelectionColor; import bibliothek.gui.dock.util.color.ColorCodes; /** * A {@link DockableSelection} that uses its own border. * @author Benjamin Sigg */ @ColorCodes( {"selection.border"} ) public class EclipseDockableSelection extends DefaultDockableSelection { private DockableSelectionColor borderColor; /** * Creates the new selection */ public EclipseDockableSelection(){ borderColor = new DockableSelectionColor( this, "selection.border", Color.BLACK ){ @Override protected void changed( Color oldColor, Color newColor ) { setBorder( BorderFactory.createLineBorder( newColor )); } }; } @Override public void open( DockController controller ) { borderColor.setManager( controller.getColors() ); super.open( controller ); } @Override public void close() { borderColor.setManager( null ); super.close(); } }