dbroqua/home
dbroqua/home
1
1
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

- Changed font

Browse source
This commit is contained in:
dbroqua 2017-08-02 23:42:53 +02:00
parent 9da2c54333
commit ece97ee39d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
roxterm.sourceforge.net/Profiles/Default
View file

@ -1,6 +1,6 @@
[roxterm profile] [roxterm profile]
colour_scheme=Tango colour_scheme=Tango
font=Monospace 9 font=DejaVu Sans Mono 8
saturation=0.577236 saturation=0.577236
always_show_tabs=0 always_show_tabs=0
hide_menubar=1 hide_menubar=1