Great job nue, and thanks for the german transtation!

[neverball] / share / gui.c

diff --git a/share/gui.c b/share/gui.c
index b30c561..0815293 100644 (file)
--- a/share/gui.c
+++ b/share/gui.c
@@ -226,8 +226,8 @@ void gui_init(void)
     if (TTF_Init() == 0)
     {
         int s0 = s / 26;
-        int s1 = s / 12;
-        int s2 = s /  6;
+        int s1 = s / 13;
+        int s2 = s /  7;
         int m;
 
         /* Make sure text size doesn't exceed the maximum texture size. */
@@ -384,7 +384,7 @@ static int gui_widget(int pd, int type)
             return id;
         }
 
-    fprintf(stderr, "Out of widget IDs\n");
+    fprintf(stderr, _("Out of widget IDs\n"));
 
     return 0;
 }
@@ -577,7 +577,7 @@ int gui_space(int pd)
 
 int gui_pause(int pd)
 {
-    const char *text = "Paused";
+    const char *text = _("Paused");
     int id;
 
     if ((id = gui_widget(pd, GUI_PAUSE)))
@@ -982,7 +982,7 @@ void gui_layout(int id, int xd, int yd)
 
     /* Hilite the widget under the cursor, if any. */
 
-    gui_point(id, -1, -1);
+    /* gui_point(id, -1, -1); */
 }
 
 int gui_search(int id, int x, int y)