`2f06faaa9da4b541c7660458720ac6a6c165c466`

Author: Pavle Portic <pavle.portic@tilda.center>
Committer: Pavle Portic <pavle.portic@tilda.center>
Date: 2020-06-15 19:32 UTC

Message

Increase terminal font size to 12

Diff

 1diff --git a/dot_config/roxterm.sourceforge.net/Profiles/Default b/dot_config/roxterm.sourceforge.net/Profiles/Default
 2index d054863dc1c78b9bf2f0515ed842127d559c3c98..dc8481e2e9c46195c2d72d05c3a73085f1a12af8 100644
 3--- a/dot_config/roxterm.sourceforge.net/Profiles/Default
 4+++ b/dot_config/roxterm.sourceforge.net/Profiles/Default
 5@@ -1,5 +1,5 @@
 6 [roxterm profile]
 7-font=Pragmata Pro 11
 8+font=Pragmata Pro 12
 9 always_show_tabs=0
10 colour_scheme=Default
11 bell_highlights_tab=0