Chapter 8. Configuration

Table of Contents

General Options
Triangulation Options
Normal Surface Options
PDF Options
Census Options
Python Options
SnapPea Options

You can configure Regina by choosing SettingsConfigure Regina from the menu under GNU/Linux, or regina-kdePreferences 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:

Automatic file extension

This affects what happens if you save your data but do not supply a filename extension. If checked, Regina will add the default extension .rga (so the filename manifolds will become manifolds.rga). If unchecked, Regina will leave the filename exactly as you typed it.

Automatic packet docking

This affects what happens each time you open a packet for viewing. If checked, Regina will open the packet inside the main window, as illustrated here. If unchecked, Regina will open the packet in a separate floating window, as illustrated here. See floating packets for further details.

Packet tree jump size

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

Show tip of the day

If checked, Regina will offer occasional tips and hints on startup. These include tips on how to use Regina, or advanced features that you might not be aware of.

You can view these tips at any time by selecting HelpTip of the Day from the menu.

Open handbook in KDE Help Center

This affects how Regina opens the users' handbook (which you are reading now). If checked, Regina will open the handbook in the KDE Help Center (which is probably installed if you run a KDE desktop, but probably not installed if you run GNOME or MacOS X). If unchecked, Regina will open the handbook in your default web browser.