Class marimba.gui.FolderWidget
All Packages Class Hierarchy This Package Previous Next Index
Class marimba.gui.FolderWidget
java.lang.Object
|
+----marimba.gui.Widget
|
+----marimba.gui.ContainerWidget
|
+----marimba.gui.FolderWidget
- public class FolderWidget
- extends ContainerWidget
A tabbed folder widget. This widget can only contain PageWidgets.
- Version:
- 1.61, 11/28/96
- Author:
- Arthur van Hoff, Klaas Waslander
-
current
- The number of the current page.
-
defaultSelectFont
-
-
defaultTabFont
-
-
focusMode
- When the page is being switched, the folder can automatically focus
on the first widget anywhere or the first widget within the folder,
or just do nothing in order to let the tab control get the focus.
-
focusOptions
- The possible options for the autofocus.
-
selectFont
- The font used for the text in the tab controls when
the page related with that tab control is shown.
-
tabFont
- The font that is used for the text in the tab controls.
-
tabMode
- A folder can hide the tab controls (none)
or display them at the top (top) of the folder.
-
tabOptions
- The possible options for the tabMode.
-
FolderWidget()
- Create a folder with one page titled "page".
-
FolderWidget(int)
- Create a folder with the specified number of pages
titled "page 1" to "page npages".
-
FolderWidget(int, String[])
- Create a folder with the specified number of pages
and page titles.
-
action()
- A page was turned.
-
addPage(PageWidget)
- Add a new page.
-
currentPage()
- Return the current page.
-
currentPageNumber()
- Return the current page number.
-
deletePage()
- Delete the current page.
-
findTab(int, int)
- Find out which tab the mouse was clicked in.
-
findWidget(String)
- Find a widget in this presentation.
-
firstPage()
- Goto the first page.
-
firstTitledPage()
- Goto the first page with a title.
-
focusInterest()
- This widget supports input focus.
-
getContent()
- Get the content.
-
getFocusMode()
- Get the focus mode.
-
getFocusOptions()
- Get the possible options for the focusMode.
-
getIntegerValue()
- Return the current page number.
-
getPage(int)
- Get the given page.
-
getPage(String)
- Get a page by name.
-
getProperties(PropertyList)
- Get the properties.
-
getSelectFont()
- Get the font for the selected tab control.
-
getStringValue()
- Get the current page name.
-
getTabFont()
- Get the font for tab controls.
-
getTabMode()
- Get the tab mode.
-
getTabOptions()
- Get the possible options for the tabMode.
-
getTip(int, int)
- Get the tip for the tabs...
-
getValue()
- Get the current page number.
-
gotoPage(int)
- Goto a new page by pagenumber.
-
gotoPage(String)
- Goto a page by name.
-
gotoPage(Widget)
- Goto a page by value.
-
handleEvent(Event)
- Handle Events.
-
lastPage()
- Goto the last page.
-
lastTitledPage()
- Goto the last page with a title.
-
layout()
- Layout the page.
-
newPage()
- Add a new empty page.
-
nextPage()
- Goto the next page.
-
nextTitledPage()
- Goto the next page with a title.
-
paint(Graphics, int, int, int, int)
- Paint the folders.
-
previousPage()
- Goto the previous page.
-
previousTitledPage()
- Goto the previous page with a title.
-
setFocusMode(int)
- Set the focus mode.
-
setProperties(PropertyList)
- Set the properties.
-
setSelectFont(Font)
- Set the font for the selected tab control.
-
setTabFont(Font)
- Set the font for tab controls.
-
setTabMode(int)
- Set the tab mode.
-
setValue(Object)
- Set the current page.
defaultTabFont
public static Font defaultTabFont
defaultSelectFont
public static Font defaultSelectFont
tabFont
public Font tabFont
- The font that is used for the text in the tab controls.
- See Also:
- getTabFont, setTabFont
selectFont
public Font selectFont
- The font used for the text in the tab controls when
the page related with that tab control is shown.
- See Also:
- getSelectFont, setSelectFont
focusMode
public int focusMode
- When the page is being switched, the folder can automatically focus
on the first widget anywhere or the first widget within the folder,
or just do nothing in order to let the tab control get the focus.
- See Also:
- getFocusMode, setFocusMode, focusOptions
focusOptions
public static Options focusOptions
- The possible options for the autofocus.
- See Also:
- getFocusOptions, focusMode
tabMode
public int tabMode
- A folder can hide the tab controls (none)
or display them at the top (top) of the folder.
- See Also:
- getTabMode, setTabMode, tabOptions
tabOptions
public static Options tabOptions
- The possible options for the tabMode.
- See Also:
- getTabOptions, tabMode
current
public int current
- The number of the current page.
- See Also:
- getIntegerValue, currentPageNumber, getValue, setValue
FolderWidget
public FolderWidget()
- Create a folder with one page titled "page".
FolderWidget
public FolderWidget(int npages)
- Create a folder with the specified number of pages
titled "page 1" to "page npages".
FolderWidget
public FolderWidget(int npages,
String pagetitles[])
- Create a folder with the specified number of pages
and page titles.
getProperties
public void getProperties(PropertyList list)
- Get the properties.
- Overrides:
- getProperties in class Widget
setProperties
public void setProperties(PropertyList list)
- Set the properties.
- Overrides:
- setProperties in class ContainerWidget
getTabFont
public Font getTabFont()
- Get the font for tab controls.
- See Also:
- tabFont
setTabFont
public void setTabFont(Font tabFont)
- Set the font for tab controls.
- See Also:
- tabFont
getSelectFont
public Font getSelectFont()
- Get the font for the selected tab control.
- See Also:
- selectFont
setSelectFont
public void setSelectFont(Font selectFont)
- Set the font for the selected tab control.
- See Also:
- selectFont
getContent
public Widget getContent()
- Get the content.
- Overrides:
- getContent in class ContainerWidget
getPage
public PageWidget getPage(int pageno)
- Get the given page.
getPage
public PageWidget getPage(String name)
- Get a page by name.
getFocusOptions
public Options getFocusOptions()
- Get the possible options for the focusMode.
- See Also:
- focusOptions
getFocusMode
public int getFocusMode()
- Get the focus mode.
- See Also:
- focusMode
setFocusMode
public void setFocusMode(int focusMode)
- Set the focus mode.
- See Also:
- focusMode
getTabOptions
public Options getTabOptions()
- Get the possible options for the tabMode.
- See Also:
- tabOptions
getTabMode
public int getTabMode()
- Get the tab mode.
- See Also:
- tabMode
setTabMode
public void setTabMode(int tabMode)
- Set the tab mode.
- See Also:
- tabMode
getIntegerValue
public int getIntegerValue()
- Return the current page number. This will return -1
if there are no pages.
- See Also:
- current
currentPageNumber
public int currentPageNumber()
- Return the current page number. This will return -1
if there are no pages.
- See Also:
- current
getStringValue
public String getStringValue()
- Get the current page name.
getValue
public Object getValue()
- Get the current page number.
- Overrides:
- getValue in class Widget
- See Also:
- current
setValue
public void setValue(Object value)
- Set the current page.
- Overrides:
- setValue in class Widget
- See Also:
- current
currentPage
public PageWidget currentPage()
- Return the current page.
layout
public void layout()
- Layout the page.
- Overrides:
- layout in class ContainerWidget
newPage
public void newPage()
- Add a new empty page.
addPage
public void addPage(PageWidget page)
- Add a new page.
deletePage
public void deletePage()
- Delete the current page.
gotoPage
public void gotoPage(String name)
- Goto a page by name.
- Overrides:
- gotoPage in class Widget
gotoPage
public void gotoPage(Widget w)
- Goto a page by value.
gotoPage
public void gotoPage(int n)
- Goto a new page by pagenumber.
nextPage
public void nextPage()
- Goto the next page.
previousPage
public void previousPage()
- Goto the previous page.
firstPage
public void firstPage()
- Goto the first page.
lastPage
public void lastPage()
- Goto the last page.
nextTitledPage
public void nextTitledPage()
- Goto the next page with a title.
previousTitledPage
public void previousTitledPage()
- Goto the previous page with a title.
firstTitledPage
public void firstTitledPage()
- Goto the first page with a title.
lastTitledPage
public void lastTitledPage()
- Goto the last page with a title.
findWidget
public Widget findWidget(String nm)
- Find a widget in this presentation.
- Overrides:
- findWidget in class ContainerWidget
paint
public void paint(Graphics g,
int cx,
int cy,
int cw,
int ch)
- Paint the folders.
- Overrides:
- paint in class Widget
findTab
public int findTab(int x,
int y)
- Find out which tab the mouse was clicked in. Returns -1 if
not clicked in a tab or clicked tab has no title.
getTip
public String getTip(int x,
int y)
- Get the tip for the tabs...
- Overrides:
- getTip in class Widget
handleEvent
public boolean handleEvent(Event evt)
- Handle Events.
- Overrides:
- handleEvent in class Widget
action
public void action()
- A page was turned.
- Overrides:
- action in class Widget
focusInterest
public boolean focusInterest()
- This widget supports input focus.
- Overrides:
- focusInterest in class Widget
All Packages Class Hierarchy This Package Previous Next Index