|
| |
|
| java.lang.Object
 pnuts.tools.VisualDebuggerView
All known Subclasses: pnuts.tools.VisualDebugger,
| VisualDebuggerView | | public class VisualDebuggerView (Code) | | |
| DEFALT_BREAK_POINT_COLOR | | final static Color DEFALT_BREAK_POINT_COLOR(Code) | | |
| DEFALT_CURRENT_POSITION_COLOR | | final static Color DEFALT_CURRENT_POSITION_COLOR(Code) | | |
| DEFAULT_HEIGHT | | final static int DEFAULT_HEIGHT(Code) | | |
| DEFAULT_WIDTH | | final static int DEFAULT_WIDTH(Code) | | |
| shortcutSuffix | | final public static String shortcutSuffix(Code) | | |
| VisualDebuggerView | | public VisualDebuggerView()(Code) | | |
| createMenu | | protected JMenu createMenu(String key)(Code) | | Create a menu for the app. By default this pulls the definition of the
menu from the associated resource file.
Parameters:
key - name of a menu group |
| createMenuItem | | protected JMenuItem createMenuItem(String cmd)(Code) | | Create a menu item for the specified command
Parameters:
cmd - the command name the JMenuItem |
| createMenubar | | protected JMenuBar createMenubar()(Code) | | Create the menubar for the app. By default this pulls the definition of
the menu from the associated resource file.
a JMenuBar |
| createTextArea | | protected JTextArea createTextArea()(Code) | | Create an editor to represent the given document.
|
| createToolbarButton | | protected JButton createToolbarButton(String key)(Code) | | Create a button to go inside of the toolbar. By default this will load an
image resource. The image filename is relative to the classpath
(including the '.' directory if its a part of the classpath), and may
either be in a JAR file or a separate file.
Parameters:
key - The key in the resource file to serve as the basis of lookups. |
| exitGUI | | public void exitGUI()(Code) | | |
| getElementIndex | | int getElementIndex(int pos)(Code) | | |
| getJFrame | | protected JFrame getJFrame()(Code) | | Returns a JFrame
The default behavior of this method creates and returns a JFrame object.
Subclasses may override this method to define a different way of getting JFrame.
|
| getTitleString | | protected String getTitleString(Object source)(Code) | | Returns the title string Subclasses may override this method to customize
the window title.
Parameters:
source - the script source the title string |
| initializeLineColors | | void initializeLineColors()(Code) | | |
| open | | public void open(String filename)(Code) | | Opens a local file in a window
Parameters:
filename - the file name |
| showInspector | | void showInspector()(Code) | | |
| startGUI | | public void startGUI()(Code) | | |
|
|
|