public class Tabbed extends Panel
public class Tabbed extends Panel
constructor. Parameters: left corner, width,
height
public Tabbed(int x0,int y0,int w,int h)
set fonts for titles. By default: Dialog, PLAIN
and BOLD
void setTitleFonts(Font normal, Font active)
add a panel with title
void addPanel(Panel c, String title)
remove panel
public void removePanel(Panel c)
set title for given panel
void setTitle(Panel c, String title)
select given panel
void selectPanel(Panel c)
callback for subclassing. Called when current
panel has been changed
void callback(Panel current_panel, Panel old_panel)
get array of panels
Panel [] getPanels()