diff options
| author | kleines Filmröllchen <malu.bertsch@gmail.com> | 2021-11-21 01:01:21 +0100 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-11-27 12:45:44 +0100 |
| commit | 1ff48a3ca4a015d7bf1f7419e5a79ab47657b933 (patch) | |
| tree | cd260d887438f5fb7f3fd9baac85554f383b6421 /Base/res | |
| parent | 12468e036b8a274422be945e59da0bbcd9006820 (diff) | |
| download | serenity-1ff48a3ca4a015d7bf1f7419e5a79ab47657b933.zip | |
Terminal: Modernize terminal settings as a standalone application
The settings for Terminal are extracted into their own application,
TerminalSettings, which is reachable over the normal Settings menu as
well as the same place in the Terminal menu. The font settings are moved
into these settings as well, which are now split up into the "Terminal"
and "View" tabs. The font settings themselves receive an option to
override the selected font with the system default on the user side.
The live update behavior of all of the terminal settings is retained.
The layout of the new TerminalSettings is based around the other
Settings applications, but pixel-perfectness is missing in some places.
It's a bit fiddly and I'd like to have some better GUI::Label auto-size
behavior, but oh well :^)
Diffstat (limited to 'Base/res')
| -rw-r--r-- | Base/res/apps/TerminalSettings.af | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Base/res/apps/TerminalSettings.af b/Base/res/apps/TerminalSettings.af new file mode 100644 index 0000000000..53535f3c13 --- /dev/null +++ b/Base/res/apps/TerminalSettings.af @@ -0,0 +1,5 @@ +[App] +Name=Terminal Settings +Executable=/bin/TerminalSettings +Category=Settings +Description=Configure the Terminal appearance and behavior. |