Terra Terminal Emulator

  1. Bug #1160367
  2. Comment #3

Comment 3 for bug 1160367

Revision history for this message
Cleydyr de Albuquerque (cleydyr) wrote :

Actually, the previous change has no relevance. It suffices to add

self.font_name.set_sensitive(ConfigManager.get_conf('use-default-font'))

right after self.font_name was initialized in preferences.py init_ui method.