`90f278b5576271e1c712dbb509273f78922f620e`

Author: Pavle Portic <git@theedgeofrage.com>
Committer: Pavle Portic <git@theedgeofrage.com>
Date: 2021-11-17 12:11 UTC

Message

Parametrize roxterm font size

Diff

 1diff --git a/dot_config/roxterm.sourceforge.net/Profiles/Default b/dot_config/roxterm.sourceforge.net/Profiles/Default.tmpl
 2rename from dot_config/roxterm.sourceforge.net/Profiles/Default
 3rename to dot_config/roxterm.sourceforge.net/Profiles/Default.tmpl
 4index 3dc3899e8e4225dcf868d7749055c9365a916143..3b3e809d7f6fa5daf61983e3be9106f9187d9c31 100644
 5--- a/dot_config/roxterm.sourceforge.net/Profiles/Default
 6+++ b/dot_config/roxterm.sourceforge.net/Profiles/Default.tmpl
 7@@ -1,5 +1,5 @@
 8 [roxterm profile]
 9-font=Pragmata Pro 13
10+font=Pragmata Pro {{ .roxterm.font.size }}
11 always_show_tabs=0
12 colour_scheme=Default
13 bell_highlights_tab=0