01: /*
02: * DockedTabView.java
03: *
04: * Copyright (C) 2002, 2003, 2004, 2005, 2006 Takis Diakoumis
05: *
06: * This program is free software; you can redistribute it and/or
07: * modify it under the terms of the GNU General Public License
08: * as published by the Free Software Foundation; either version 2
09: * of the License, or any later version.
10: *
11: * This program is distributed in the hope that it will be useful,
12: * but WITHOUT ANY WARRANTY; without even the implied warranty of
13: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14: * GNU General Public License for more details.
15: *
16: * You should have received a copy of the GNU General Public License
17: * along with this program; if not, write to the Free Software
18: * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
19: *
20: */
21:
22: package org.executequery.base;
23:
24: /* ----------------------------------------------------------
25: * CVS NOTE: Changes to the CVS repository prior to the
26: * release of version 3.0.0beta1 has meant a
27: * resetting of CVS revision numbers.
28: * ----------------------------------------------------------
29: */
30:
31: /**
32: * Defines a docked tab view (non-central panel).
33: * This provides methods to retrieve menu and preference
34: * key names for saving application state.
35: *
36: * @author Takis Diakoumis
37: * @version $Revision: 1.3 $
38: * @date $Date: 2006/05/14 06:56:55 $
39: */
40: public interface DockedTabView extends TabView {
41:
42: /**
43: * Returns the name defining the property name for this docked tab view.
44: *
45: * @return the key
46: */
47: public String getPropertyKey();
48:
49: /**
50: * Returns the position of this tab view.
51: *
52: * @return the tab position (SwingConstants...)
53: */
54: public int getUserPreferencePosition();
55:
56: /**
57: * Returns the name defining the menu cache property
58: * for this docked tab view.
59: *
60: * @return the preferences key
61: */
62: public String getMenuItemKey();
63:
64: /**
65: * Returns the display title for this view.
66: *
67: * @return the title displayed for this view
68: */
69: public String getTitle();
70:
71: }
|