X-Git-Url: http://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/blobdiff_plain/acf0c223865d57c2f2115e7ed62397bc32c772fe..24f95c67b704f2857e60701d53dbe03ce02133f3:/res/micropolis.tcl diff --git a/res/micropolis.tcl b/res/micropolis.tcl index a7a5de5..1f24900 100644 --- a/res/micropolis.tcl +++ b/res/micropolis.tcl @@ -261,7 +261,8 @@ 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 .] set screenheight [winfo screenheight .] @@ -284,6 +285,7 @@ if {($screenwidth < $ScenarioPanelWidth) || set ScenarioDescHeight 210 set ScenarioDescFont Tiny set ScenarioButtons $ScenarioButtons600x450 + set EventLines 2 } # Disabled until we handle mouse events on the map itself. @@ -296,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-*} }} } @@ -470,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