X-Git-Url: http://cvs.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/blobdiff_plain/6c60573aea399c4a37ff3560fff3a59e5ed4ee37..24f95c67b704f2857e60701d53dbe03ce02133f3:/res/micropolis.tcl?ds=sidebyside

diff --git a/res/micropolis.tcl b/res/micropolis.tcl
index 8c4c36a..1f24900 100644
--- a/res/micropolis.tcl
+++ b/res/micropolis.tcl
@@ -261,7 +261,7 @@ set ScenarioDescX 232
 set ScenarioDescY 170
 set ScenarioDescWidth 280
 set ScenarioDescHeight 285
-set ScenarioDescFont Large
+set ScenarioDescFont Medium
 set EventLines 5
 
 set screenwidth [winfo screenwidth .]
@@ -298,30 +298,39 @@ if {($screenwidth < $ScenarioPanelWidth) ||
 
 set FontInfo {
   {Big {
+	{-*-helvetica-medium-r-normal-*-20-*-*-*-*-*-*-*}
 	{-*-dejavu lgc sans-medium-r-normal-*-90-*}
   }}
   {Large {
+	{-*-helvetica-medium-r-normal-*-18-*-*-*-*-*-*-*}
 	{-*-dejavu lgc sans-medium-r-normal-*-80-*}
   }}
   {Medium {
+	{-*-helvetica-medium-r-normal-*-14-*-*-*-*-*-*-*}
 	{-*-dejavu lgc sans-medium-r-normal-*-70-*}
   }}
   {Small {
+	{-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*}
 	{-*-dejavu lgc sans-medium-r-normal-*-60-*}
   }}
   {Narrow {
+	{-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*}
 	{-*-dejavu lgc sans-medium-r-normal-*-60-*}
   }}
   {Tiny {
+	{-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*}
 	{-*-dejavu lgc sans-medium-r-normal-*-60-*}
   }}
   {Text {
+	{-*-helvetica-medium-r-normal-*-14-*-*-*-*-*-*-*}
 	{-*-dejavu lgc sans-medium-r-normal-*-70-*}
   }}
   {Message {
+	{-*-helvetica-medium-r-normal-*-14-*-*-*-*-*-*-*}
 	{-*-dejavu lgc sans-medium-r-normal-*-70-*}
   }}
   {Alert {
+	{-*-helvetica-medium-r-normal-*-14-*-*-*-*-*-*-*}
 	{-*-dejavu lgc sans-medium-r-normal-*-70-*}
   }}
 }
@@ -472,13 +481,6 @@ sprite train 1
 
 sim ResetDynamic
 
-# The next three lines have no effect on the OLPC, where we don't provide
-# the font in res (because it's already in the system fonts).  These lines
-# are for other systems that lack the font.
-set FontPath "[pwd]/res/dejavu-lgc"
-system "xset -fp \"$FontPath\" >/dev/null 2>&1"
-system "xset +fp \"$FontPath\" >/dev/null 2>&1"
-
 # Ignore SIGCHLD for spawned sound-player childs, this should lead to them
 # being reaped by init
 signal ignore SIGCHLD