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

8 files changed, 52 insertions, 26 deletions

diff --git a/themes/Eterm/theme.cfg.in b/themes/Eterm/theme.cfg.in
index 6186778..d129d38 100644
--- a/themes/Eterm/theme.cfg.in
+++ b/themes/Eterm/theme.cfg.in
@@ -82,11 +82,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
 
diff --git a/themes/auto/theme.cfg.in b/themes/auto/theme.cfg.in
index 4ce0a42..0ea69e9 100644
--- a/themes/auto/theme.cfg.in
+++ b/themes/auto/theme.cfg.in
@@ -82,11 +82,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
 
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
 
diff --git a/themes/chooser/theme.cfg.in b/themes/chooser/theme.cfg.in
index ea853d2..3a83911 100644
--- a/themes/chooser/theme.cfg.in
+++ b/themes/chooser/theme.cfg.in
@@ -82,11 +82,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
 
diff --git a/themes/emacs/theme.cfg.in b/themes/emacs/theme.cfg.in
index 861f3d6..a773271 100644
--- a/themes/emacs/theme.cfg.in
+++ b/themes/emacs/theme.cfg.in
@@ -82,11 +82,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
 
diff --git a/themes/irc/theme.cfg.in b/themes/irc/theme.cfg.in
index 5c1d58c..614133e 100644
--- a/themes/irc/theme.cfg.in
+++ b/themes/irc/theme.cfg.in
@@ -82,11 +82,16 @@ 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 shine
-    font 1 nexus
-    font 2 fixed
-    font 3 7x14
-    font 4 8x13
+    font default 2
+    font 0 5x7
+    font 1 6x10
+    font 2 shine
+    font 3 nexus
+    font 4 fixed
+    font 5 8x13
+    font 6 9x15
+    font 7 10x20
+    font 8 12x24
 #    font bold 7x14
   end attributes
 
diff --git a/themes/mutt/theme.cfg.in b/themes/mutt/theme.cfg.in
index 644528e..6566bcd 100644
--- a/themes/mutt/theme.cfg.in
+++ b/themes/mutt/theme.cfg.in
@@ -82,11 +82,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
 
diff --git a/themes/trans/theme.cfg.in b/themes/trans/theme.cfg.in
index 1e0095f..d068180 100644
--- a/themes/trans/theme.cfg.in
+++ b/themes/trans/theme.cfg.in
@@ -82,11 +82,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