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