Overriding monospace-font-name to 'DejaVu Sans Mono 11' in org.gnome.desktop.interface.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
This commit is contained in:
parent
637815088a
commit
d5045e8729
1 changed files with 1 additions and 1 deletions
|
@ -15,7 +15,7 @@ document-font-name = 'Cantarell 11'
|
|||
enable-animations=false
|
||||
font-antialiasing='rgba'
|
||||
font-name = 'Cantarell 11'
|
||||
monospace-font-name = 'Monospace 11'
|
||||
monospace-font-name = 'DejaVu Sans Mono 11'
|
||||
|
||||
[org.gnome.desktop.wm.keybindings]
|
||||
panel-main-menu = ['<Alt>F1']
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue