Customizing Options: GUI Options


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:

  1. From the main menu, click Set Options.
    The Options window opens.

  2. Click on the GUI tab.
    The GUI tabbed panel moves to the forefront.

  3. Adjust the settings as you want.

  4. Click OK.
    Your new settings are saved and the Options window closes.

Set Options: GUI Tab

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.




Send feedback to JavaStar-feedback@suntest.com
Copyright © 1998 Sun Microsystems, Inc. 901 San Antonio Road, Palo Alto, CA 94303. All rights reserved.