/*
* 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;
}
}