diff options
| author | Michael Jennings <mej@kainx.org> | 1999-11-20 05:17:29 +0000 |
|---|---|---|
| committer | Michael Jennings <mej@kainx.org> | 1999-11-20 05:17:29 +0000 |
| commit | c00ecb143ce67331975cb3158907132eaef7f617 (patch) | |
| tree | 8f220daaf29e98ccc76cd830f901fb9bf3f8fbdc /themes/cEterm/theme.cfg.in | |
| parent | eeab8b0a87d9f39e7e729e4272c1096d93f888b1 (diff) | |
| download | eterm-c00ecb143ce67331975cb3158907132eaef7f617.tar.gz | |
Fri Nov 19 23:05:31 PST 1999 Michael Jennings <mej@eterm.org>
Once again, I've rendered old themes obselete. :-)
I added a new config file attribute and command-line parameter. The
option is --default-font-index, but I wouldn't necessarily use it.
The config file attribute makes more sense. :-)
Anyway, your themes will now need to have a line like this:
font default <index>
in the attributes section. This tells Eterm which font it should use
on startup. (<index> is a number between 0 and the highest-numbered
font you define.) You can now have up to 256 fonts. Font 0 is no
longer necessarily the default font; it is the smallest font. And the
larger the font index, the larger the font should be. (Of course,
this assumes you want Ctrl-> and Ctrl-< to increase/decrease your font
size. In reality, you can have your fonts in any order, and those
keys will cycle through them in order.)
Before, font 0 was always the default, and you didn't have much
freedom in rearranging your fonts. Plus, you were limited to 5. Not
any more. :-) The new system is much more straight-forward, logical,
and powerful.
So please be sure to update your themes by hand, or remove your theme
directory before installing this new version. If your theme lacks
the "font default" line, your Eterms will start with the wrong font.
:-]
SVN revision: 1344
Diffstat (limited to 'themes/cEterm/theme.cfg.in')
| -rw-r--r-- | themes/cEterm/theme.cfg.in | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/themes/cEterm/theme.cfg.in b/themes/cEterm/theme.cfg.in index 067729a..2e2806c 100644 --- a/themes/cEterm/theme.cfg.in +++ b/themes/cEterm/theme.cfg.in @@ -81,11 +81,14 @@ begin main # the Eterm defaults. The "bold" font is the font used if color BD has # not been set and Eterm cannot map the foreground color to one of the # high-intensity colors (8-15). - font 0 fixed - font 1 5x7 - font 2 6x10 + font default 2 + font 0 5x7 + font 1 6x10 + font 2 fixed font 3 8x13 font 4 9x15 + font 5 10x20 + font 6 12x24 # font bold 7x14 end attributes |