|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.awt.Component java.awt.Container java.awt.Window java.awt.Frame javax.swing.JFrame org.estouro.ui.EditorFrame
public class EditorFrame
Main frame of the application
Nested Class Summary | |
---|---|
class |
EditorFrame.KeyBinding
|
Nested classes/interfaces inherited from class javax.swing.JFrame |
---|
javax.swing.JFrame.AccessibleJFrame |
Nested classes/interfaces inherited from class java.awt.Frame |
---|
java.awt.Frame.AccessibleAWTFrame |
Nested classes/interfaces inherited from class java.awt.Window |
---|
java.awt.Window.AccessibleAWTWindow |
Nested classes/interfaces inherited from class java.awt.Container |
---|
java.awt.Container.AccessibleAWTContainer |
Nested classes/interfaces inherited from class java.awt.Component |
---|
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
Field Summary |
---|
Fields inherited from class javax.swing.JFrame |
---|
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled |
Fields inherited from class java.awt.Frame |
---|
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR |
Fields inherited from class java.awt.Component |
---|
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
Fields inherited from interface javax.swing.WindowConstants |
---|
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE |
Fields inherited from interface java.awt.image.ImageObserver |
---|
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
---|---|
EditorFrame()
Creates a new EditorFrame |
Method Summary | |
---|---|
void |
activeThemeChanged()
Notifies a theme change |
void |
activeThemeSelectionChanged()
The selection has changed |
void |
addEditionTool(Automaton et)
|
void |
addEditionToolSeparator()
|
javax.swing.JMenuItem |
addMainMenuItem(Plugin p,
java.lang.String[] menuPath,
java.lang.String text,
javax.swing.Icon i)
|
javax.swing.JMenuItem |
addMainMenuItem(Plugin p,
java.lang.String[] menuPath,
java.lang.String text,
javax.swing.Icon i,
int keyCode,
int keyModifiers)
|
void |
addMenuSeparator(java.lang.String[] menuPath)
|
void |
addScript(java.lang.String scriptName)
|
void |
addToolButton(Plugin p,
java.lang.String text,
java.net.URL icon,
java.lang.String tooltip)
|
void |
addToolSeparator()
|
void |
askQuestion()
|
void |
closeApplication()
|
void |
enableControls()
|
void |
error(java.lang.Throwable e1)
ivoked when there is an error |
void |
extentChanged()
Notifies that the extent has changed |
void |
info(java.lang.String message)
|
void |
mouseMoved(double x,
double y)
Notifies the mouse has changed its position |
void |
registerKeyBinding(int keyStroke,
int keyModifiers,
Plugin plugin)
|
void |
removeMainMenuItem(java.lang.String[] menuPath)
|
void |
stateChanged()
Change in the edition tool state |
void |
themeAdded(ThemeEvent e)
Notifies a theme has been added |
void |
themeChanged(ThemeEvent e)
Notifies a theme has been changed |
void |
themeEdited(ThemeEvent e)
Notifies that the contents of a theme has been modified |
void |
themeRemoved(ThemeEvent e)
Notifies a theme has been removed |
void |
themeSaved(ThemeEvent e)
Notifies a theme has been saved |
void |
toolChanged()
The current tool has changed |
void |
toolError(java.lang.String text)
|
void |
toolError(TransitionException e)
Ivoked when a tool transition fails |
void |
windowActivated(java.awt.event.WindowEvent e)
|
void |
windowClosed(java.awt.event.WindowEvent e)
|
void |
windowClosing(java.awt.event.WindowEvent e)
|
void |
windowDeactivated(java.awt.event.WindowEvent e)
|
void |
windowDeiconified(java.awt.event.WindowEvent e)
|
void |
windowIconified(java.awt.event.WindowEvent e)
|
void |
windowOpened(java.awt.event.WindowEvent e)
|
Methods inherited from class javax.swing.JFrame |
---|
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update |
Methods inherited from class java.awt.Frame |
---|
addNotify, finalize, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated |
Methods inherited from class java.awt.Window |
---|
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setAlwaysOnTop, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationByPlatform, setLocationRelativeTo, show, toBack, toFront |
Methods inherited from class java.awt.Container |
---|
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusBackward, transferFocusDownCycle, validate, validateTree |
Methods inherited from class java.awt.Component |
---|
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setMinimumSize, setName, setPreferredSize, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle |
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.awt.MenuContainer |
---|
getFont, postEvent |
Constructor Detail |
---|
public EditorFrame()
Method Detail |
---|
public void info(java.lang.String message)
public void error(java.lang.Throwable e1)
error
in interface ErrorHandler
e1
- public void toolError(TransitionException e)
toolError
in interface EditionContextListener
e
- public void toolError(java.lang.String text)
public void closeApplication()
public void windowOpened(java.awt.event.WindowEvent e)
windowOpened
in interface java.awt.event.WindowListener
WindowListener.windowOpened(java.awt.event.WindowEvent)
public void windowClosing(java.awt.event.WindowEvent e)
windowClosing
in interface java.awt.event.WindowListener
WindowListener.windowClosing(java.awt.event.WindowEvent)
public void windowClosed(java.awt.event.WindowEvent e)
windowClosed
in interface java.awt.event.WindowListener
WindowListener.windowClosed(java.awt.event.WindowEvent)
public void windowIconified(java.awt.event.WindowEvent e)
windowIconified
in interface java.awt.event.WindowListener
WindowListener.windowIconified(java.awt.event.WindowEvent)
public void windowDeiconified(java.awt.event.WindowEvent e)
windowDeiconified
in interface java.awt.event.WindowListener
WindowListener.windowDeiconified(java.awt.event.WindowEvent)
public void windowActivated(java.awt.event.WindowEvent e)
windowActivated
in interface java.awt.event.WindowListener
WindowListener.windowActivated(java.awt.event.WindowEvent)
public void windowDeactivated(java.awt.event.WindowEvent e)
windowDeactivated
in interface java.awt.event.WindowListener
WindowListener.windowDeactivated(java.awt.event.WindowEvent)
public void toolChanged()
EditionContextListener
toolChanged
in interface EditionContextListener
EditionContextListener.toolChanged()
public void activeThemeSelectionChanged()
EditionContextListener
activeThemeSelectionChanged
in interface EditionContextListener
EditionContextListener.activeThemeSelectionChanged()
public void askQuestion()
public void stateChanged()
EditionContextListener
stateChanged
in interface EditionContextListener
EditionContextListener.stateChanged()
public void activeThemeChanged()
EditionContextListener
activeThemeChanged
in interface EditionContextListener
EditionContextListener.activeThemeChanged()
public void mouseMoved(double x, double y)
EditionContextListener
mouseMoved
in interface EditionContextListener
EditionContextListener.mouseMoved(double, double)
public void themeAdded(ThemeEvent e)
EditionContextListener
themeAdded
in interface EditionContextListener
public void themeRemoved(ThemeEvent e)
EditionContextListener
themeRemoved
in interface EditionContextListener
public void themeChanged(ThemeEvent e)
EditionContextListener
themeChanged
in interface EditionContextListener
public void themeEdited(ThemeEvent e)
EditionContextListener
themeEdited
in interface EditionContextListener
public void themeSaved(ThemeEvent e)
EditionContextListener
themeSaved
in interface EditionContextListener
public void extentChanged()
EditionContextListener
extentChanged
in interface EditionContextListener
EditionContextListener.extentChanged()
public void addMenuSeparator(java.lang.String[] menuPath)
public void addToolSeparator()
public void addToolButton(Plugin p, java.lang.String text, java.net.URL icon, java.lang.String tooltip)
public void addEditionToolSeparator()
public void addEditionTool(Automaton et)
public void removeMainMenuItem(java.lang.String[] menuPath)
public void addScript(java.lang.String scriptName) throws java.io.IOException
java.io.IOException
public javax.swing.JMenuItem addMainMenuItem(Plugin p, java.lang.String[] menuPath, java.lang.String text, javax.swing.Icon i)
public javax.swing.JMenuItem addMainMenuItem(Plugin p, java.lang.String[] menuPath, java.lang.String text, javax.swing.Icon i, int keyCode, int keyModifiers)
public void enableControls()
public void registerKeyBinding(int keyStroke, int keyModifiers, Plugin plugin)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |