diff options
author | Michael Jennings <mej@kainx.org> | 1999-09-08 17:57:06 +0000 |
---|---|---|
committer | Michael Jennings <mej@kainx.org> | 1999-09-08 17:57:06 +0000 |
commit | 0efd3d7465edfa096afddf9f1068cf27864c03d5 (patch) | |
tree | 0a4183a45c1d619c363470417002518e67d1781f /themes | |
parent | 48b2403b9ae5e59d0b68e2a159cad95a9dbd9a41 (diff) | |
download | eterm-0efd3d7465edfa096afddf9f1068cf27864c03d5.tar.gz |
Wed Sep 8 11:11:00 PDT 1999 Michael Jennings <mej@eterm.org>
Patch from Sung-Hyun Nam <namsh@lgic.co.kr> for the theme files. Also
added a timeout for the backtrace attempt so that it hopefully won't
hang around forever when gdb decides to hang.
SVN revision: 204
Diffstat (limited to 'themes')
-rw-r--r-- | themes/Eterm/theme.cfg.in | 3 | ||||
-rw-r--r-- | themes/chooser/theme.cfg.in | 3 | ||||
-rw-r--r-- | themes/emacs/theme.cfg.in | 3 | ||||
-rw-r--r-- | themes/irc/theme.cfg.in | 3 | ||||
-rw-r--r-- | themes/mutt/theme.cfg.in | 3 | ||||
-rw-r--r-- | themes/tn3270/theme.cfg.in | 3 | ||||
-rw-r--r-- | themes/trans/theme.cfg.in | 3 |
7 files changed, 21 insertions, 0 deletions
diff --git a/themes/Eterm/theme.cfg.in b/themes/Eterm/theme.cfg.in index 7e074bd..d1ab54d 100644 --- a/themes/Eterm/theme.cfg.in +++ b/themes/Eterm/theme.cfg.in @@ -321,6 +321,9 @@ begin main # (Default is 5). border_width 5 +# Defines the number of pixels to add between lines (default is 0). +# line_space 2 + # Value to use for $TERM term_name xterm diff --git a/themes/chooser/theme.cfg.in b/themes/chooser/theme.cfg.in index 7dbe659..652e35d 100644 --- a/themes/chooser/theme.cfg.in +++ b/themes/chooser/theme.cfg.in @@ -321,6 +321,9 @@ begin main # (Default is 5). border_width 5 +# Defines the number of pixels to add between lines (default is 0). +# line_space 2 + # Value to use for $TERM term_name xterm diff --git a/themes/emacs/theme.cfg.in b/themes/emacs/theme.cfg.in index 36109e1..9f979df 100644 --- a/themes/emacs/theme.cfg.in +++ b/themes/emacs/theme.cfg.in @@ -321,6 +321,9 @@ begin main # (Default is 5). border_width 5 +# Defines the number of pixels to add between lines (default is 0). +# line_space 2 + # Value to use for $TERM term_name xterm diff --git a/themes/irc/theme.cfg.in b/themes/irc/theme.cfg.in index 06f20fc..a742c9a 100644 --- a/themes/irc/theme.cfg.in +++ b/themes/irc/theme.cfg.in @@ -321,6 +321,9 @@ begin main # (Default is 5). border_width 5 +# Defines the number of pixels to add between lines (default is 0). +# line_space 2 + # Value to use for $TERM term_name xterm diff --git a/themes/mutt/theme.cfg.in b/themes/mutt/theme.cfg.in index 23f1189..70afe1b 100644 --- a/themes/mutt/theme.cfg.in +++ b/themes/mutt/theme.cfg.in @@ -270,6 +270,9 @@ begin main # (Default is 5). border_width 0 +# Defines the number of pixels to add between lines (default is 0). +# line_space 2 + # Value to use for $TERM term_name xterm diff --git a/themes/tn3270/theme.cfg.in b/themes/tn3270/theme.cfg.in index 55fe7e8..843396a 100644 --- a/themes/tn3270/theme.cfg.in +++ b/themes/tn3270/theme.cfg.in @@ -352,6 +352,9 @@ begin main # (Default is 5). border_width 5 +# Defines the number of pixels to add between lines (default is 0). +# line_space 2 + # Value to use for $TERM term_name xterm diff --git a/themes/trans/theme.cfg.in b/themes/trans/theme.cfg.in index b52b93e..71e0069 100644 --- a/themes/trans/theme.cfg.in +++ b/themes/trans/theme.cfg.in @@ -324,6 +324,9 @@ begin main # (Default is 5). border_width 5 +# Defines the number of pixels to add between lines (default is 0). +# line_space 2 + # Value to use for $TERM term_name xterm |