Package de.x28hd.tool

Class Gui

Object

Gui

public class Gui
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static String	HELP_EN
static String	initText1
static String	initText2
static String	INTRO_DE
static String	INTRO_EN

Constructor Summary

Constructors

Constructor	Description
Gui(PresentationService ps)

Method Summary

Modifier and Type	Method	Description
void	advancedMenu()
void	createEdgeMenu(JPopupMenu menu, int paletteID)
void	createGraphMenu(JPopupMenu menu)
JMenuBar	createMenuBar()
void	createNodeMenu(JPopupMenu menu, int paletteID)
void	displayHelp()
void	editMenu()
void	exportMenu()
void	fileMenu()
Image	getImage(String imagefile)
String	getInitText(boolean empty)
JMenuBar	getMenuBar()
String	getSample(boolean help)
void	helpMenu()
void	init()
void	insertMenu()
void	setControlerExtras(PresentationExtras c)
JMenuItem	styleSwitcher(int styleNumber, String styleName, String color, boolean reverse)
void	togglePalette()
void	updateUndoGui()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

initText1

public static final String initText1

See Also:

Constant Field Values

initText2

public static final String initText2

See Also:

Constant Field Values

HELP_EN

public static final String HELP_EN

See Also:

Constant Field Values

INTRO_EN

public static final String INTRO_EN

See Also:

Constant Field Values

INTRO_DE

public static final String INTRO_DE

See Also:

Constant Field Values

Constructor Details

Gui

public Gui(PresentationService ps)

Method Details

createMenuBar

public JMenuBar createMenuBar()

fileMenu

public void fileMenu()

editMenu

public void editMenu()

insertMenu

public void insertMenu()

exportMenu

public void exportMenu()

advancedMenu

public void advancedMenu()

helpMenu

public void helpMenu()

displayHelp

public void displayHelp()

createGraphMenu

public void createGraphMenu(JPopupMenu menu)

createNodeMenu

public void createNodeMenu(JPopupMenu menu, int paletteID)

createEdgeMenu

public void createEdgeMenu(JPopupMenu menu, int paletteID)

styleSwitcher

public JMenuItem styleSwitcher(int styleNumber, String styleName, String color, boolean reverse)

getImage

public Image getImage(String imagefile)

updateUndoGui

public void updateUndoGui()

setControlerExtras

public void setControlerExtras(PresentationExtras c)

getInitText

public String getInitText(boolean empty)

getMenuBar

public JMenuBar getMenuBar()

togglePalette

public void togglePalette()

init

public void init()

getSample

public String getSample(boolean help)