Versions Compared

Key

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

...

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.

...

  • on Linux, add a line in .putty/sessions/yoursession containing this parameter (above)
  • on Windows, change settings from "Window" → "Translation" pane and check the button "Enable VT100 line drawing even in UTF-8 mode"

(info) you You can keep your locale / codepage as UTF-8.

...