Select WS Viewport: Invokes a widget which changes
the size of the graphical window (6.13).
The button Pop restores the previous viewport size.
|
Palette: selected colours, many colours: Colour selectors. |
Smart listbox update: The listbox turns blank during scans. |
Move selects blank table: If move are started from TkI the blank table is selected. |
Errors halt execution: Can be disabled, if series of scans should not
be interrupted due to some well-known but unimportant errors.
|