Terminal font setting is always disabled by default
Bug #1160367 reported by
Cleydyr de Albuquerque
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Terra Terminal Emulator |
In Progress
|
Undecided
|
Unassigned |
Bug Description
When in Preferences menu, Terminal tab, General section, the Font option is disabled (see attached screenshot), even if you don't choose to use system font. Nevertheless, checking "use system default font" and unchecking again makes it possible to set font again.
Changed in terra: | |
status: | New → In Progress |
To post a comment you must log in.
Maybe if we change the order of the commands in preferences.py from
self.chk_ use_system_ font.connect( 'toggled' , lambda w: self.font_ name.set_ sensitive( not self.chk_ use_system_ font.get_ active( ))) use_system_ font.set_ active( ConfigManager. get_conf( 'use-default- font'))
self.chk_
to use_system_ font.set_ active( ConfigManager. get_conf( 'use-default- font')) use_system_ font.connect( 'toggled' , lambda w: self.font_ name.set_ sensitive( not self.chk_ use_system_ font.get_ active( )))
self.chk_
self.chk_
It solves the problem, I guess.