diff options
| author |  Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2015-12-08 08:05:50 +0100 |
|---|---|---|
| committer |  Paul Mackerras <paulus@samba.org> | 2015-12-12 13:43:52 +1100 |
| commit | 6cb73c84e1dcf1d04f24b6e7915e5606bf69a5fd (patch) | |
| tree | d196f70471454c2938f6e981d2502219306b431d /po/.gitignore | |
| parent | Merge https://github.com/vnwildman/gitk (diff) | |
| download | tgif-6cb73c84e1dcf1d04f24b6e7915e5606bf69a5fd.tar.xz | |
gitk: Match ttk fonts to gitk fonts
The fonts set in setoptions aren't consistently picked up by ttk, which
uses its own predefined fonts. This is noticeable when switching
between using and not using ttk with custom fonts or in HiDPI settings
(where the default TTK fonts do _not_ respect tk sclaing).
Fix by mapping the ttk fontset to the one used by gitk internally.
Signed-off-by: Giuseppe Bilotta <giuseppe.bilotta@gmail.com>
Signed-off-by: Paul Mackerras <paulus@samba.org>
Diffstat (limited to 'po/.gitignore')
0 files changed, 0 insertions, 0 deletions