/* * 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.preference.model; import bibliothek.extension.gui.dock.preference.DefaultPreferenceModel; import bibliothek.extension.gui.dock.preference.preferences.choice.TabContentFilterPreference; import bibliothek.extension.gui.dock.preference.preferences.choice.TabPlacementPreference; import bibliothek.gui.dock.util.DockProperties; import bibliothek.util.Path; /** * A model containing preferences that are related to the layout of * the framework. * @author Benjamin Sigg */ public class LayoutPreferenceModel extends DefaultPreferenceModel{ private TabPlacementPreference tabPlacement; private TabContentFilterPreference tabContentFilter; public LayoutPreferenceModel( DockProperties properties ){ super( properties.getController() ); add( tabPlacement = new TabPlacementPreference( properties, new Path( "dock.layout.tabplacement" ))); add( tabContentFilter = new TabContentFilterPreference( properties, new Path( "dock.layout.tabcontentfilter" ))); } /** * Grants access to the preference that tells what content to show on a tab. * @return the preference, not <code>null</code> */ public TabContentFilterPreference getTabContentFilter(){ return tabContentFilter; } /** * Grants access to the preference that tells where tabs are placed. * @return the preference, not <code>null</code> */ public TabPlacementPreference getTabPlacement(){ return tabPlacement; } }