if (TTF_Init() == 0)
{
- int s0 = s / 24;
- int s1 = s / 12;
- int s2 = s / 6;
+ int s0 = s / 26;
+ int s1 = s / 13;
+ int s2 = s / 7;
int m;
/* Make sure text size doesn't exceed the maximum texture size. */
return id;
}
- fprintf(stderr, "Out of widget IDs\n");
+ fprintf(stderr, _("Out of widget IDs\n"));
return 0;
}
int gui_pause(int pd)
{
- const char *text = "Paused";
+ const char *text = _("Paused");
int id;
if ((id = gui_widget(pd, GUI_PAUSE)))
/* 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)