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

Variable Index

 o current
The number of the current page.
 o defaultSelectFont
 o defaultTabFont
 o 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.
 o focusOptions
The possible options for the autofocus.
 o selectFont
The font used for the text in the tab controls when the page related with that tab control is shown.
 o tabFont
The font that is used for the text in the tab controls.
 o tabMode
A folder can hide the tab controls (none) or display them at the top (top) of the folder.
 o tabOptions
The possible options for the tabMode.

Constructor Index

 o FolderWidget()
Create a folder with one page titled "page".
 o FolderWidget(int)
Create a folder with the specified number of pages titled "page 1" to "page npages".
 o FolderWidget(int, String[])
Create a folder with the specified number of pages and page titles.

Method Index

 o action()
A page was turned.
 o addPage(PageWidget)
Add a new page.
 o currentPage()
Return the current page.
 o currentPageNumber()
Return the current page number.
 o deletePage()
Delete the current page.
 o findTab(int, int)
Find out which tab the mouse was clicked in.
 o findWidget(String)
Find a widget in this presentation.
 o firstPage()
Goto the first page.
 o firstTitledPage()
Goto the first page with a title.
 o focusInterest()
This widget supports input focus.
 o getContent()
Get the content.
 o getFocusMode()
Get the focus mode.
 o getFocusOptions()
Get the possible options for the focusMode.
 o getIntegerValue()
Return the current page number.
 o getPage(int)
Get the given page.
 o getPage(String)
Get a page by name.
 o getProperties(PropertyList)
Get the properties.
 o getSelectFont()
Get the font for the selected tab control.
 o getStringValue()
Get the current page name.
 o getTabFont()
Get the font for tab controls.
 o getTabMode()
Get the tab mode.
 o getTabOptions()
Get the possible options for the tabMode.
 o getTip(int, int)
Get the tip for the tabs...
 o getValue()
Get the current page number.
 o gotoPage(int)
Goto a new page by pagenumber.
 o gotoPage(String)
Goto a page by name.
 o gotoPage(Widget)
Goto a page by value.
 o handleEvent(Event)
Handle Events.
 o lastPage()
Goto the last page.
 o lastTitledPage()
Goto the last page with a title.
 o layout()
Layout the page.
 o newPage()
Add a new empty page.
 o nextPage()
Goto the next page.
 o nextTitledPage()
Goto the next page with a title.
 o paint(Graphics, int, int, int, int)
Paint the folders.
 o previousPage()
Goto the previous page.
 o previousTitledPage()
Goto the previous page with a title.
 o setFocusMode(int)
Set the focus mode.
 o setProperties(PropertyList)
Set the properties.
 o setSelectFont(Font)
Set the font for the selected tab control.
 o setTabFont(Font)
Set the font for tab controls.
 o setTabMode(int)
Set the tab mode.
 o setValue(Object)
Set the current page.

Variables

 o defaultTabFont
  public static Font defaultTabFont
 o defaultSelectFont
  public static Font defaultSelectFont
 o tabFont
  public Font tabFont
The font that is used for the text in the tab controls.
See Also:
getTabFont, setTabFont
 o 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
 o 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
 o focusOptions
  public static Options focusOptions
The possible options for the autofocus.
See Also:
getFocusOptions, focusMode
 o 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
 o tabOptions
  public static Options tabOptions
The possible options for the tabMode.
See Also:
getTabOptions, tabMode
 o current
  public int current
The number of the current page.
See Also:
getIntegerValue, currentPageNumber, getValue, setValue

Constructors

 o FolderWidget
  public FolderWidget()
Create a folder with one page titled "page".
 o FolderWidget
  public FolderWidget(int npages)
Create a folder with the specified number of pages titled "page 1" to "page npages".
 o FolderWidget
  public FolderWidget(int npages,
                      String pagetitles[])
Create a folder with the specified number of pages and page titles.

Methods

 o getProperties
  public void getProperties(PropertyList list)
Get the properties.
Overrides:
getProperties in class Widget
 o setProperties
  public void setProperties(PropertyList list)
Set the properties.
Overrides:
setProperties in class ContainerWidget
 o getTabFont
  public Font getTabFont()
Get the font for tab controls.
See Also:
tabFont
 o setTabFont
  public void setTabFont(Font tabFont)
Set the font for tab controls.
See Also:
tabFont
 o getSelectFont
  public Font getSelectFont()
Get the font for the selected tab control.
See Also:
selectFont
 o setSelectFont
  public void setSelectFont(Font selectFont)
Set the font for the selected tab control.
See Also:
selectFont
 o getContent
  public Widget getContent()
Get the content.
Overrides:
getContent in class ContainerWidget
 o getPage
  public PageWidget getPage(int pageno)
Get the given page.
 o getPage
  public PageWidget getPage(String name)
Get a page by name.
 o getFocusOptions
  public Options getFocusOptions()
Get the possible options for the focusMode.
See Also:
focusOptions
 o getFocusMode
  public int getFocusMode()
Get the focus mode.
See Also:
focusMode
 o setFocusMode
  public void setFocusMode(int focusMode)
Set the focus mode.
See Also:
focusMode
 o getTabOptions
  public Options getTabOptions()
Get the possible options for the tabMode.
See Also:
tabOptions
 o getTabMode
  public int getTabMode()
Get the tab mode.
See Also:
tabMode
 o setTabMode
  public void setTabMode(int tabMode)
Set the tab mode.
See Also:
tabMode
 o getIntegerValue
  public int getIntegerValue()
Return the current page number. This will return -1 if there are no pages.
See Also:
current
 o currentPageNumber
  public int currentPageNumber()
Return the current page number. This will return -1 if there are no pages.
See Also:
current
 o getStringValue
  public String getStringValue()
Get the current page name.
 o getValue
  public Object getValue()
Get the current page number.
Overrides:
getValue in class Widget
See Also:
current
 o setValue
  public void setValue(Object value)
Set the current page.
Overrides:
setValue in class Widget
See Also:
current
 o currentPage
  public PageWidget currentPage()
Return the current page.
 o layout
  public void layout()
Layout the page.
Overrides:
layout in class ContainerWidget
 o newPage
  public void newPage()
Add a new empty page.
 o addPage
  public void addPage(PageWidget page)
Add a new page.
 o deletePage
  public void deletePage()
Delete the current page.
 o gotoPage
  public void gotoPage(String name)
Goto a page by name.
Overrides:
gotoPage in class Widget
 o gotoPage
  public void gotoPage(Widget w)
Goto a page by value.
 o gotoPage
  public void gotoPage(int n)
Goto a new page by pagenumber.
 o nextPage
  public void nextPage()
Goto the next page.
 o previousPage
  public void previousPage()
Goto the previous page.
 o firstPage
  public void firstPage()
Goto the first page.
 o lastPage
  public void lastPage()
Goto the last page.
 o nextTitledPage
  public void nextTitledPage()
Goto the next page with a title.
 o previousTitledPage
  public void previousTitledPage()
Goto the previous page with a title.
 o firstTitledPage
  public void firstTitledPage()
Goto the first page with a title.
 o lastTitledPage
  public void lastTitledPage()
Goto the last page with a title.
 o findWidget
  public Widget findWidget(String nm)
Find a widget in this presentation.
Overrides:
findWidget in class ContainerWidget
 o paint
  public void paint(Graphics g,
                    int cx,
                    int cy,
                    int cw,
                    int ch)
Paint the folders.
Overrides:
paint in class Widget
 o 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.
 o getTip
  public String getTip(int x,
                       int y)
Get the tip for the tabs...
Overrides:
getTip in class Widget
 o handleEvent
  public boolean handleEvent(Event evt)
Handle Events.
Overrides:
handleEvent in class Widget
 o action
  public void action()
A page was turned.
Overrides:
action in class Widget
 o focusInterest
  public boolean focusInterest()
This widget supports input focus.
Overrides:
focusInterest in class Widget

All Packages  Class Hierarchy  This Package  Previous  Next  Index