Settings¶
Ctrl , opens the settings. They belong to the app, not to a folder.
Settings open as a tab.¶
Setting |
Values |
|---|---|
Font size |
10–20 px, default 13 |
Theme |
system, light, dark |
Extensions |
the folders of the installed extensions – see Extensions |
Changes to the extensions apply after a restart.