global font settings work great but deleted by settings
Bug #1577231 reported by
hboetes
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Terminator |
New
|
Wishlist
|
Unassigned |
Bug Description
Adding these lines to the global config works great, but I can't set it from the settings menu and if I change settings these settings are gone again. Please add these settings to the global settings menu, since setting them in all themes is rather cumbersome.
[global_config]
font = monofur 15
use_system_font = False
Changed in terminator: | |
importance: | Undecided → Wishlist |
To post a comment you must log in.
(Just lurking around here, I'm not the developer.)
Apparently you wish to have multiple profiles, all using the same font, althogh your actual choice of the font tends to change over time.
Others might want to have multiple profiles, all using the same color scheme, yet different fonts.
Yet others might want to share the [whichever other preference] across profiles.
I'm afraid it's almost impossible to come up with an intuitive UI to aid such use cases and is not worth the required developer efforts. I don't think it's a typical use case anyway. Just my 2 cents.