[Freeciv-Dev] (PR#11331) prettification: topology index tooltip (gtk2)

["Vasco Alexandre da Silva Costa" <vasc@xxxxxxxxxxxxxx>]

<URL: http://bugs.freeciv.org/Ticket/Display.html?id=11331 >

> [jdorje - Sun Dec 05 04:27:02 2004]:
> 
> The server help is designed for the server command-line and expects a
> fixed-width font.  I guess the tooltip doesn't have a fixed-width font.
> 
> I reported this problem when I wrote this help, with several possible
> solutions.  We could require a fixed-width font for tooltips.  Or we
> could add a separate help system - either a link to freeciv.org, or a
> reference to the client help - with an actual picture.
> 
> The fixed-width problem shows up in other setting helptexts too.  But
> it's only a minor issue except with 'topology' AFAIK.

Here is a patch. To apply ASAP.


? data/.freeciv.rc-2.0.swp
Index: data/freeciv.rc-2.0
===================================================================
RCS file: /home/freeciv/CVS/freeciv/data/freeciv.rc-2.0,v
retrieving revision 1.19.2.2
diff -u -r1.19.2.2 freeciv.rc-2.0
--- data/freeciv.rc-2.0 14 Nov 2004 23:50:02 -0000      1.19.2.2
+++ data/freeciv.rc-2.0 29 Dec 2004 17:29:50 -0000
@@ -73,6 +73,11 @@
   font_name = "Serif 10"
 }
 
+style "tooltips"
+{
+  font_name = "LucidaTypewrite,Monospace 8"
+}
+
 widget "Freeciv*.city label"           style   "city_label"
 widget "Freeciv*.notify label"         style   "notify_label"
 widget "Freeciv*.spaceship label"      style   "spaceship_label"
@@ -84,4 +89,4 @@
 widget "Freeciv*.comment label"        style   "comment_label"
 widget "Freeciv*.city names"           style   "city_names_font"
 widget "Freeciv*.city productions"     style   "city_productions_font"
-
+widget "gtk-tooltips*.*"               style   "tooltips"