Preferences for fonts in editor
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
GTG |
Fix Released
|
Medium
|
Abhiram |
Bug 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 by adding a new default value
in GTG/config/
* add widget into Preferences dialog
- edit GTG/gtk/
font
- update configuration when the user changes the font widget, see the existing code
in GTG/gtk/
* set font, you can find the code in this question:
https:/
- apply patch suggested from that question and instead of the literal value get
the value from configuration object
Related branches
- Izidor Matušov: Approve (code, running)
-
Diff: 244 lines (+101/-26)4 files modifiedGTG/core/__init__.py (+1/-0)
GTG/gtk/editor/editor.py (+7/-3)
GTG/gtk/preferences.glade (+84/-21)
GTG/gtk/preferences.py (+9/-2)
Changed in gtg: | |
importance: | Undecided → Medium |
Changed in gtg: | |
assignee: | nobody → Abhiram (abhiram) |
status: | Triaged → In Progress |
Changed in gtg: | |
assignee: | Abhiram (abhiram) → nobody |
assignee: | nobody → Abhiram (abhiram-ampabathina) |
Changed in gtg: | |
status: | In Progress → Confirmed |
status: | Confirmed → Fix Committed |
milestone: | 0.4 → 0.3 |
Changed in gtg: | |
status: | Fix Committed → Fix Released |
Hello izidor,
I would like to try on this one. Although i have completed the earlier one you gave me(there are issues with uploading). Mean while i would like to try this bug. Please guide me how.
Best,
Abhiram