| Preferences Properties |
The Preferences object PREFS has the following properties.
These may also be set with the Preferences dialog.
| SYNTAX.HILITING | TRUE | Controls whether the Listener and the editors should use syntax highlighting. |
| RELAXED.SYNTAX | TRUE | If set to TRUE, a colon is not required to define a variable. |
| SMALL.ICONS | FALSE | Controls the display of the icons in the tool bar. |
| AUTOSAVE | TRUE | If set to FALSE, the workspace and the Graphics windows are not saved when exiting Logo. |
| VERBOSE | FALSE | If set to TRUE, the LOAD command displays the name of functions as they are loaded. |
| HINTS | TRUE | Controls the display of tool tips under Windows. On the Macintosh, it controls the display of Balloon Help. |
| SINGLE.EDIT | TRUE | If TRUE, all edit commands open the same editor window. If FALSE, multile EDIT commands open multiple Editor windows. |
| LISTENER.LINES | 100 | The number of lines the Listener window is able to display. If Logo outputs more than this number of lines, the Listener removes the oldest lines. |
| EXTENDED.PROPERTIES | FALSE | If set to TRUE, the special Turtle and Bitmap edit dialogs are replaced with the usual Property List editor windows, allowing editing of all the properties of turtles and bitmaps. |
| FONT | [COURIER 10 0] | The font used by the Listener and Editor windows. |
| REPLACE.PRIMITIVES | FALSE | If set to TRUE, all commands which allow procedure definition are allowed to overwrite primitive command definitions. |
| BACKGROUND.COLOR | 255 255 255 | The background color |
| INPUT.COLOR | 128 0 128 | The color used for user input |
| OUTPUT.COLOR | 0 0 0 | The color Logo uses for all kinds of output |
| ERROR.COLOR | 255 0 0 | The color Logo uses for error messages |
| NAME.COLOR | 0 128 0 | The color Logo uses for Logo names |
| PRIMITIVE.COLOR | 0 0 128 | The color Logo uses for built-in primitives |
| PROCEDURE.COLOR | 0 0 255 | The color Logo uses for user-defined procedures |
| NUMBER.COLOR | 128 0 0 | The color Logo uses for numbers |
| COMMENT.COLOR | 128 128 128 | The color Logo uses for comments |