This tab is where you set the options that control the look of the JavaStar application, such as font size and foreground/background colors. To set GUI options:
GUI Options
Option
|
Description
|
Size
|
Sets the size of text in JavaStar windows. Choose small, medium, or large from the pop-up menu.
|
Foreground color
|
Changes the color of foreground items in the GUI, using either colors selected from the pop-up menu, or (Red, Green, Blue) values for a custom color. Choosing default from the menu resets this to the default values.
|
Background color
|
Changes the color of foreground items in the GUI. This works the same as Foreground color.
|
Prefixes (package/class) to ignore for source highlighter.
|
Specifies packages or classes as a library, so they won't be shown during playback--instead the call to the library will be highlighted.
|