![]() ![]() ![]() |
![]() |
Manager
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).
View
Large Tool Bar (appears after restart) Makes toolbar buttons
large. To change this option you need to restart the Prolog Compiler.
Sizable Bitmaps When you change the size of the system font then
all dialog boxes resize automatically to fit the new font size. If this
option is selected then bitmaps in the Strawberry Prolog environment will
resize automatically too. If it is not selected then size and position
of the bitmaps will not change. If you set Small Fonts (from Control Panel/Display/Settings),
then we recommend you to tick off this option. If you use Large Fonts then
go on as you like it.
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.
Colors
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
.