| 2012-07-22 10:32:54 |
Izidor Matušov |
description |
Allow users to choose font they want for the editor.
This is a typical LOVE bug for new GTG contributors. Steps to solve it
* add new configuration option in GTG config files
* add widget into Preferences dialog
* set font, you can find the code in this question: https://answers.launchpad.net/gtg/+question/166141 |
Allow users to choose font they want for the editor.
This is a typical LOVE bug for new GTG contributors. Steps to solve it
* add new configuration option in GTG config files by adding a new default value
in GTG/config/__init__.py and DEFAULTS dict
* add widget into Preferences dialog
- edit GTG/gtk/preferences.glade file using GLADE and add a widget for selecting
font
- update configuration when the user changes the font widget, see the existing code
in GTG/gtk/preferences.py
* set font, you can find the code in this question:
https://answers.launchpad.net/gtg/+question/166141
- apply patch suggested from that question and instead of the literal value get
the value from configuration object |
|
