-int gui_pause(int pd)
-{
- const char *text = _("Paused");
- int id;
-
- if ((id = gui_widget(pd, GUI_PAUSE)))
- {
- widget[id].text_img = make_image_from_font(NULL, NULL,
- &widget[id].w,
- &widget[id].h,
- text, font[GUI_LRG],
- scale[GUI_LRG]);
- widget[id].color0 = gui_wht;
- widget[id].color1 = gui_wht;
- widget[id].value = 0;
- widget[id].size = GUI_LRG;
- widget[id].rect = GUI_ALL;
- }
- return id;
-}
-