Execute only projects. If you have opened two windows, the active one being a Prolog File (pro) and the other one a Strawberry Project (spj). If you press F5 (run) which one will be executed? This depends on Execute only projects.
'Next' is always active
When checked, makes the Run|Next Answer (F8) command always available. This means that if no answer is received (or we received no) F8 will work like Run (F5) . Use this option to customize your keys.
'One Step' is always active
When checked, makes the Trace|One Step (F9) command always available. This means that if no steps are made F9 will work like First Step (Ctrl+F5). Use this option to customize your keys.
Automatic Words Selection This is an option of the editor. If it is set on then the mouse selection takes words only. You cannot start the selection from the middle of the word in this case.
Change Information Font
Opens the characters dialog window to change the font for the Information windows (the Stack window, the Variables window and the System List window of the Tool menu).
Large Tool Bar (appears after restart) Makes toolbar buttons large. To change this option you need to restart the Prolog Compiler.
Tool Bar is Active on Start
This changes the behavior of the tool bar on start (visible or invisible).
Status Bar is Active on Start
This changes the behavior of the status bar on start (visible or invisible).
Splash on Start
This enables the splash window at the start of the compiler. Splash window is the red square which appears for two seconds when the compiler is starting.
Proof Tree Always at the Top
This makes the Proof Tree a top-up window. It will be visible even when it is not active. If you use this option then hide the Proof Tree window by minimizing it and activate by F12 .
Automatic Scroll in Proof Tree
When you double click in the Proof Tree then you change the way it looks. In this case automatic scroll will help you because it scrolls the window but keeps the clicked subgoal static.
In this page you can switch on and off the syntax coloring of the Strawberry Program Environment and you can change the colors which will be used for that.
If you don't like syntax coloring then switch off all check boxes in this page. The box "Syntax colors on file open" determine do you like the syntax coloring to be made automatically when file is opened and when it is compiled. The next two check boxes determine when you like the syntax coloring to be made in the processes of program writing. If you check "Refresh on every text change" then the syntax colors will be correct after every change but in this case the edit window can flash unpleasantly on every text change. The flashing will be stronger especially if the size of your program is bigger. If you want to avoid the flashing then check "Refresh when Enter is pressed" or even don't check any of this two boxes. In all cases you can force updating of syntax colors from the menu "Tools / Refresh Syntax Coloring (Ctrl T)".
In this window you can also change the default colors for syntax coloring
and immediately to see the result of this change on the demo line.
(If you don't like the result of the change then simply press the Cancel
button.) To change the color of integers then select Integer
in the left combo box. For quick selection you can click with the mouse
on the demo line. When Integer is selected you can change
its color by selecting a common color from the right combo box. If you
need some exotic color which is not listed in the list then select Custom
from the same list (it is on the end). When Custom is selected press
the button "Change This Custom Color" and select your exotic color
from the dialog box which will appear.
In this window you can change some colors which are used by the compiler. Click Set Default button to set all values to default. Use Change buttons to change any color. Output is the color of the output window; other colors are used in system windows like Proof Tree and Stack .