re_viewer

Module startup_options

Source

Structsยง

  • StartupOptions
    Settings set once at startup (e.g. via command-line options) and not serialized.