Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Workaround for PDF export bug

...

to display the Toolkit menu:

Div
classpagebreak

...


Putty configuration

Recommended color scheme for 'putty' is (all other values can remain as they are by default):

Color to adjustRedGreenBlue
Default Foreground000
Default Foreground Bold00160
Default Background255255255
Default Background Bold192192192
ANSI White223223223


Hint: in case the background color is black, the blue color used for some output could be difficult to read. It is possible to switch to an alternate color from the 'Preferences' menu option. This requires the terminal emulator to support 256 colors (xterm).

If the menu does not correctly display line drawing, you can change some parameters in putty.

...

...

Menu Options

Child pages (Children Display)
alltrue

...