Preferences

General Eclipse preferences

Settings like font properties can be found as follows:

  1. Go to Window -> Preferences
  2. Select General -> Appearance -> Colors and Fonts
Settings like line numbers and spaces/tabs can be found as follows:
  1. Go to Window -> Preferences
  2. Select General -> Editors -> Text Editors

POOSL specific preferences

POOSL specific settings can be found as follows:

  1. Go to Window -> Preferences
  2. Select POOSL
The options to set preferences for are: