Changeset 341b73e44634…
Parent 45f2680d2571…
by
Changes to one file · Browse files at 341b73e44634 Showing diff from parent 45f2680d2571 Diff from another changeset...
@@ -134,7 +134,8 @@ # defaults
_fontconfig = {'fontcomment': 'monospace 10',
'fontdiff': 'monospace 10',
- 'fontlist': 'sans 9'}
+ 'fontlist': 'sans 9',
+ 'fontlog': 'monospace 10'}
# overwrite defaults with configured values
for name, val in ui.configitems('gtools'):
if val and name.startswith('font'):
|
Loading...