| commit | 2912883b6da04106025a65963a877d01cf898041 | |
| author | David Aguilar <davvid@gmail.com> | |
| Tue, 24 Nov 2015 05:56:03 +0000 (23 21:56 -0800) | ||
| committer | David Aguilar <davvid@gmail.com> | |
| Tue, 24 Nov 2015 05:57:37 +0000 (23 21:57 -0800) | ||
| tree | e77458b9be3455a549d7586a67f17ce77c6e3397 | treesnapshot (tar.gz zip) |
| parent | f2bcd706ebb85346c8eb5aff63cbd0faa29dcf51 | commitdiff |
prefs: allow any font to be used
We originally had a filter for the font chooser to only allow
"monospace" fonts. That filter is too narrow, and it's better
to allow the user to have full control, so remove it as
suggested in #525.
Closes #525
Suggested-by: Ｖ字龍(Vdragon) <Vdragon.Taiwan@gmail.com>
Signed-off-by: David Aguilar <davvid@gmail.com>
We originally had a filter for the font chooser to only allow
"monospace" fonts. That filter is too narrow, and it's better
to allow the user to have full control, so remove it as
suggested in #525.
Closes #525
Suggested-by: Ｖ字龍(Vdragon) <Vdragon.Taiwan@gmail.com>
Signed-off-by: David Aguilar <davvid@gmail.com>
| cola/widgets/prefs.py | diffblobblamehistory | |
| share/doc/git-cola/relnotes/unreleased.rst | diffblobblamehistory |