6.7. Interface

grab-preferences-interface.gif
Skip About dialog:

Do not display our nice about dialog during startup

Keep backups:

Keep backup copies of the .flair and .inp files. The backup copies are ending with the ~ suffix.

Clean up temporary files:

After the execution of any command that a temporary file are generated clean them up.

Editor show separation lines:

After the execution of any command that a temporary file are generated clean them up.

Manual browser:

Select the preferred manual viewer

  • webview requires the installation of the pywebview package

  • webbrowser default interface to the preferred web browser of the user

Window scaling:

Apply a scaling factor to icons, dpi, fonts etc… Useful for HiDPI screens

Temporary prefix:

The prefix to be used for all temporary files

Auto save time:

Input file autosave period if changes occur. Input file is saved in the pickle format.

Card Display timeout:

Timeout while populating the editor page with cards

Time format:

python format for displaying the file time-stamp