Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Published by Scroll Versions from space FUNCTDEV and version SVC2025.3

...

Linux

  • GTK+ 3.20 or higher.
  • WebKitGTK+ 2 (see this page for more information and package names for common distributions).
  • An 8-point font size is recommended. For example, use the following command in the Ubuntu terminal:

    Code Block
    languagetext
    gsettings set org.gnome.desktop.interface font-name 'Ubuntu 8'

...