|  | Navigation:
|
| | Navigation is preferably done by mouse clicks and
scrollbar movements.
- Input Regions: CURSOR-UP and CURSOR-DOWN
move the cursor to the previous and next input region.
SHIFT-CURSOR-UP and SHIFT-CURSOR-DOWN go up and
down in the same input region.
- Text Regions: everything is as usual; CURSOR-UP and CURSOR-DOWN
move the cursor to the previous line and next line, respectively.
Finally, CTRL-a and CTRL-e
jump to the beginning and end of a line.
|
| | Copy & Paste:
|
| | Copy & paste by mouse is Motif
standard. In addition the following Emacs-like sequences are available:
- CTRL-
d: kill next character.
- CTRL-
k: kill to end of line.
- CTRL-
w: cut clipboard.
- CTRL-
y: paste clipboard.
|
| | Name Completion:
|
| | All system provided symbols
(e.g. module functions) are available for name completion. Equally, user
defined symbols are immediately supported.
Type in the name up to uniqueness and press TAB.
|
| | Menu File:
|
| | The Load/Save Session entries have no command
correspondence and are therefore only available in the XLWB.
Save Session saves the current content of the work
window as you see it by scrolling up and down.
Load session reads such a session
in again, but without any interpretation or reevaluation.
To reevaluate single regions press RETURN.
The recommended extension for this file type is .xls.
|
| | The Read/Save file entries correspond to the
typed commands
read("filename")
and save("filename").
Those commands refer only to assigned symbols of the
user module, i.e. if you never did an assignment then
save("filename") will
produce an empty file.
The recommended extension for this file type is .lwb.
|
| | Interrupt:
|
| | It is possible to interrupt an algorithm started from within the XLWB.
However, for the X version, it is a bit awkward. First, you have to find
out the process ID of the xlwb.exec process (for instance,
via ps|grep xlwb). Second, send an interrupt signal to this
process using the kill command: kill -INT proc_id).
|
| | Resources Window:
|
| | Most settings are immediately active after the selection. The
Cancel-button restores the latest settings that have been accepted
with the Okay-button, and the Default-button restores the
start-up settings.
|
| | Resource Files:
|
| |
- Default Resources:
You may define your personal preferences in a file named .xlwb
(`Save As Default'-button in the resources window).
The order of precedence at start-up time is:
- command line options (only the standard options)
-
./.xlwb (i.e. you may one default file per directory)
-
$HOME/.xlwb
- hardcoded values (fallbacks)
The list of resource names with default
values shows which defaults are possible.
- Named resources files :
The file-load/save-resources entries of the main menu allows you
to save and restore specific settings to named files. The recommended extension
for these files is .xlr (`xlwb resources'). For instance, a possible
application is to store a setting with bigger fonts as demo.xlr.
|
| | Fonts:
|
| | A particularly interesting type of resources
are the fonts. Essentially, every font can be chosen for every type of
regions (input/output/text etc., see the resources window). However,
it is recommended to use a fixed width font, at least for the output
regions, because a few functions use text graphics to display data
structures (e.g. cpc::display, pltl::display).
The XLWB comes with a couple of logic specific fonts with special signs
for logical connectives and greek symbols.
- wp : nice but rather small font from the IKLE package
- kon.. : fonts from the JAPE package
- laura.. : fonts from the JAPE package
Note that the output mode pretty must be set (see the resources window)
in order to have the connectives mapped to the special characters (this is the default output mode).
|
