Chapter 8. Configuration

You can configure Regina by choosing Settings->Configure Regina from the menu under GNU/Linux and Windows, or Regina->Preferences on MacOS X.

There are several panels of options; each is described in its own section below.

General Options

The General options panel controls the overall behaviour of Regina.

The settings here are:

Dock packets in the main window

As of version 4.92, Regina works with lots of small windows instead of one monolithic window. The main window contains just the packet tree, and each packet opens in its own separate window.

If you wish to return to the old behaviour (where packets were “docked” in the main window beside the packet tree), you can check this box. A large dock area will appear to the right of the packet tree, and each packet viewer will have an extra Dock / Undock button (indicated by the arrow below) that allows you to pop it out into a separate window if you choose.

Packet tree jump size

Specifies how many steps a packet moves through the tree when you select Packet Tree->Move->Jump Up or Packet Tree->Move->Jump Down. See moving packets around for further details.

Text encoding for imports/exports

Specifies how Regina encodes international characters when importing or exporting data. International characters are letters or symbols not found on a typical English keyboard.

If you are not sure what to use, the default encoding UTF-8 is a good choice (this is a modern standard and can represent all languages). If you only ever use plain English letters and symbols, you do not need to worry about encodings at all.

For more information on text encodings, see imports and exports.

Offer help for new users on startup

If checked, Regina will show a link to the Getting Started dialog at the bottom of the main window each time Regina starts.

You can view this information at any time by selecting Help->Getting Started from the menu.