Diamond: font sizing is fixed
Bug #784592 reported by
Patrick Farrell
This bug affects 2 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Spud |
Fix Released
|
Wishlist
|
Fraser Waters |
Bug Description
Diamond hardcodes the font sizes, which is quite annoying.
Related branches
lp:~fraser-waters08/spud/diamond-improvements
- Patrick Farrell: Pending requested
-
Diff: 169 lines (+28/-28)4 files modifieddiamond/bin/diamond (+16/-15)
diamond/diamond/config.py (+1/-1)
diamond/diamond/interface.py (+6/-8)
diamond/gui/gui.glade (+5/-4)
Changed in spud: | |
status: | New → Triaged |
importance: | Undecided → Wishlist |
Changed in spud: | |
assignee: | nobody → Fraser Waters (fraser-waters08) |
Changed in spud: | |
status: | Triaged → Fix Committed |
Changed in spud: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.