GTK and Windows appear to handle timers very differently:
[sgt/puzzles] / gtk.c
1 /*
2 * gtk.c: GTK front end for my puzzle collection.
3 */
4
5 #include <stdio.h>
6 #include <assert.h>
7 #include <stdlib.h>
8 #include <time.h>
9 #include <stdarg.h>
10 #include <string.h>
11
12 #include <sys/time.h>
13
14 #include <gtk/gtk.h>
15 #include <gdk/gdkkeysyms.h>
16
17 #include "puzzles.h"
18
19 /* ----------------------------------------------------------------------
20 * Error reporting functions used elsewhere.
21 */
22
23 void fatal(char *fmt, ...)
24 {
25 va_list ap;
26
27 fprintf(stderr, "fatal error: ");
28
29 va_start(ap, fmt);
30 vfprintf(stderr, fmt, ap);
31 va_end(ap);
32
33 fprintf(stderr, "\n");
34 exit(1);
35 }
36
37 /* ----------------------------------------------------------------------
38 * GTK front end to puzzles.
39 */
40
41 struct font {
42 GdkFont *font;
43 int type;
44 int size;
45 };
46
47 /*
48 * This structure holds all the data relevant to a single window.
49 * In principle this would allow us to open multiple independent
50 * puzzle windows, although I can't currently see any real point in
51 * doing so. I'm just coding cleanly because there's no
52 * particularly good reason not to.
53 */
54 struct frontend {
55 GtkWidget *window;
56 GtkWidget *area;
57 GtkWidget *statusbar;
58 guint statusctx;
59 GdkPixmap *pixmap;
60 GdkColor *colours;
61 int ncolours;
62 GdkColormap *colmap;
63 int w, h;
64 midend_data *me;
65 GdkGC *gc;
66 int bbox_l, bbox_r, bbox_u, bbox_d;
67 int timer_active, timer_id;
68 struct timeval last_time;
69 struct font *fonts;
70 int nfonts, fontsize;
71 config_item *cfg;
72 int cfg_which, cfgret;
73 GtkWidget *cfgbox;
74 };
75
76 void frontend_default_colour(frontend *fe, float *output)
77 {
78 GdkColor col = fe->window->style->bg[GTK_STATE_NORMAL];
79 output[0] = col.red / 65535.0;
80 output[1] = col.green / 65535.0;
81 output[2] = col.blue / 65535.0;
82 }
83
84 void status_bar(frontend *fe, char *text)
85 {
86 assert(fe->statusbar);
87
88 gtk_statusbar_pop(GTK_STATUSBAR(fe->statusbar), fe->statusctx);
89 gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx, text);
90 }
91
92 void start_draw(frontend *fe)
93 {
94 fe->gc = gdk_gc_new(fe->area->window);
95 fe->bbox_l = fe->w;
96 fe->bbox_r = 0;
97 fe->bbox_u = fe->h;
98 fe->bbox_d = 0;
99 }
100
101 void clip(frontend *fe, int x, int y, int w, int h)
102 {
103 GdkRectangle rect;
104
105 rect.x = x;
106 rect.y = y;
107 rect.width = w;
108 rect.height = h;
109
110 gdk_gc_set_clip_rectangle(fe->gc, &rect);
111 }
112
113 void unclip(frontend *fe)
114 {
115 GdkRectangle rect;
116
117 rect.x = 0;
118 rect.y = 0;
119 rect.width = fe->w;
120 rect.height = fe->h;
121
122 gdk_gc_set_clip_rectangle(fe->gc, &rect);
123 }
124
125 void draw_text(frontend *fe, int x, int y, int fonttype, int fontsize,
126 int align, int colour, char *text)
127 {
128 int i;
129
130 /*
131 * Find or create the font.
132 */
133 for (i = 0; i < fe->nfonts; i++)
134 if (fe->fonts[i].type == fonttype && fe->fonts[i].size == fontsize)
135 break;
136
137 if (i == fe->nfonts) {
138 if (fe->fontsize <= fe->nfonts) {
139 fe->fontsize = fe->nfonts + 10;
140 fe->fonts = sresize(fe->fonts, fe->fontsize, struct font);
141 }
142
143 fe->nfonts++;
144
145 fe->fonts[i].type = fonttype;
146 fe->fonts[i].size = fontsize;
147
148 /*
149 * FIXME: Really I should make at least _some_ effort to
150 * pick the correct font.
151 */
152 fe->fonts[i].font = gdk_font_load("variable");
153 }
154
155 /*
156 * Find string dimensions and process alignment.
157 */
158 {
159 int lb, rb, wid, asc, desc;
160
161 gdk_string_extents(fe->fonts[i].font, text,
162 &lb, &rb, &wid, &asc, &desc);
163 if (align & ALIGN_VCENTRE)
164 y += asc - (asc+desc)/2;
165
166 if (align & ALIGN_HCENTRE)
167 x -= wid / 2;
168 else if (align & ALIGN_HRIGHT)
169 x -= wid;
170
171 }
172
173 /*
174 * Set colour and actually draw text.
175 */
176 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
177 gdk_draw_string(fe->pixmap, fe->fonts[i].font, fe->gc, x, y, text);
178 }
179
180 void draw_rect(frontend *fe, int x, int y, int w, int h, int colour)
181 {
182 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
183 gdk_draw_rectangle(fe->pixmap, fe->gc, 1, x, y, w, h);
184 }
185
186 void draw_line(frontend *fe, int x1, int y1, int x2, int y2, int colour)
187 {
188 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
189 gdk_draw_line(fe->pixmap, fe->gc, x1, y1, x2, y2);
190 }
191
192 void draw_polygon(frontend *fe, int *coords, int npoints,
193 int fill, int colour)
194 {
195 GdkPoint *points = snewn(npoints, GdkPoint);
196 int i;
197
198 for (i = 0; i < npoints; i++) {
199 points[i].x = coords[i*2];
200 points[i].y = coords[i*2+1];
201 }
202
203 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
204 gdk_draw_polygon(fe->pixmap, fe->gc, fill, points, npoints);
205
206 sfree(points);
207 }
208
209 void draw_update(frontend *fe, int x, int y, int w, int h)
210 {
211 if (fe->bbox_l > x ) fe->bbox_l = x ;
212 if (fe->bbox_r < x+w) fe->bbox_r = x+w;
213 if (fe->bbox_u > y ) fe->bbox_u = y ;
214 if (fe->bbox_d < y+h) fe->bbox_d = y+h;
215 }
216
217 void end_draw(frontend *fe)
218 {
219 gdk_gc_unref(fe->gc);
220 fe->gc = NULL;
221
222 if (fe->bbox_l < fe->bbox_r && fe->bbox_u < fe->bbox_d) {
223 gdk_draw_pixmap(fe->area->window,
224 fe->area->style->fg_gc[GTK_WIDGET_STATE(fe->area)],
225 fe->pixmap,
226 fe->bbox_l, fe->bbox_u,
227 fe->bbox_l, fe->bbox_u,
228 fe->bbox_r - fe->bbox_l, fe->bbox_d - fe->bbox_u);
229 }
230 }
231
232 static void destroy(GtkWidget *widget, gpointer data)
233 {
234 gtk_main_quit();
235 }
236
237 static gint key_event(GtkWidget *widget, GdkEventKey *event, gpointer data)
238 {
239 frontend *fe = (frontend *)data;
240 int keyval;
241
242 if (!fe->pixmap)
243 return TRUE;
244
245 if (event->string[0] && !event->string[1])
246 keyval = (unsigned char)event->string[0];
247 else if (event->keyval == GDK_Up || event->keyval == GDK_KP_Up ||
248 event->keyval == GDK_KP_8)
249 keyval = CURSOR_UP;
250 else if (event->keyval == GDK_Down || event->keyval == GDK_KP_Down ||
251 event->keyval == GDK_KP_2)
252 keyval = CURSOR_DOWN;
253 else if (event->keyval == GDK_Left || event->keyval == GDK_KP_Left ||
254 event->keyval == GDK_KP_4)
255 keyval = CURSOR_LEFT;
256 else if (event->keyval == GDK_Right || event->keyval == GDK_KP_Right ||
257 event->keyval == GDK_KP_6)
258 keyval = CURSOR_RIGHT;
259 else if (event->keyval == GDK_KP_Home || event->keyval == GDK_KP_7)
260 keyval = CURSOR_UP_LEFT;
261 else if (event->keyval == GDK_KP_End || event->keyval == GDK_KP_1)
262 keyval = CURSOR_DOWN_LEFT;
263 else if (event->keyval == GDK_KP_Page_Up || event->keyval == GDK_KP_9)
264 keyval = CURSOR_UP_RIGHT;
265 else if (event->keyval == GDK_KP_Page_Down || event->keyval == GDK_KP_3)
266 keyval = CURSOR_DOWN_RIGHT;
267 else
268 keyval = -1;
269
270 if (keyval >= 0 &&
271 !midend_process_key(fe->me, 0, 0, keyval))
272 gtk_widget_destroy(fe->window);
273
274 return TRUE;
275 }
276
277 static gint button_event(GtkWidget *widget, GdkEventButton *event,
278 gpointer data)
279 {
280 frontend *fe = (frontend *)data;
281 int button;
282
283 if (!fe->pixmap)
284 return TRUE;
285
286 if (event->type != GDK_BUTTON_PRESS)
287 return TRUE;
288
289 if (event->button == 2 || (event->state & GDK_SHIFT_MASK))
290 button = MIDDLE_BUTTON;
291 else if (event->button == 1)
292 button = LEFT_BUTTON;
293 else if (event->button == 3)
294 button = RIGHT_BUTTON;
295 else
296 return FALSE; /* don't even know what button! */
297
298 if (!midend_process_key(fe->me, event->x, event->y, button))
299 gtk_widget_destroy(fe->window);
300
301 return TRUE;
302 }
303
304 static gint expose_area(GtkWidget *widget, GdkEventExpose *event,
305 gpointer data)
306 {
307 frontend *fe = (frontend *)data;
308
309 if (fe->pixmap) {
310 gdk_draw_pixmap(widget->window,
311 widget->style->fg_gc[GTK_WIDGET_STATE(widget)],
312 fe->pixmap,
313 event->area.x, event->area.y,
314 event->area.x, event->area.y,
315 event->area.width, event->area.height);
316 }
317 return TRUE;
318 }
319
320 static gint map_window(GtkWidget *widget, GdkEvent *event,
321 gpointer data)
322 {
323 frontend *fe = (frontend *)data;
324
325 /*
326 * Apparently we need to do this because otherwise the status
327 * bar will fail to update immediately. Annoying, but there we
328 * go.
329 */
330 gtk_widget_queue_draw(fe->window);
331
332 return TRUE;
333 }
334
335 static gint configure_area(GtkWidget *widget,
336 GdkEventConfigure *event, gpointer data)
337 {
338 frontend *fe = (frontend *)data;
339 GdkGC *gc;
340
341 if (fe->pixmap)
342 gdk_pixmap_unref(fe->pixmap);
343
344 fe->pixmap = gdk_pixmap_new(widget->window, fe->w, fe->h, -1);
345
346 gc = gdk_gc_new(fe->area->window);
347 gdk_gc_set_foreground(gc, &fe->colours[0]);
348 gdk_draw_rectangle(fe->pixmap, gc, 1, 0, 0, fe->w, fe->h);
349 gdk_gc_unref(gc);
350
351 midend_redraw(fe->me);
352
353 return TRUE;
354 }
355
356 static gint timer_func(gpointer data)
357 {
358 frontend *fe = (frontend *)data;
359
360 if (fe->timer_active) {
361 struct timeval now;
362 float elapsed;
363 gettimeofday(&now, NULL);
364 elapsed = ((now.tv_usec - fe->last_time.tv_usec) * 0.000001F +
365 (now.tv_sec - fe->last_time.tv_sec));
366 midend_timer(fe->me, elapsed); /* may clear timer_active */
367 fe->last_time = now;
368 }
369
370 return fe->timer_active;
371 }
372
373 void deactivate_timer(frontend *fe)
374 {
375 if (fe->timer_active)
376 gtk_timeout_remove(fe->timer_id);
377 fe->timer_active = FALSE;
378 }
379
380 void activate_timer(frontend *fe)
381 {
382 if (!fe->timer_active) {
383 fe->timer_id = gtk_timeout_add(20, timer_func, fe);
384 gettimeofday(&fe->last_time, NULL);
385 }
386 fe->timer_active = TRUE;
387 }
388
389 static void window_destroy(GtkWidget *widget, gpointer data)
390 {
391 gtk_main_quit();
392 }
393
394 static void errmsg_button_clicked(GtkButton *button, gpointer data)
395 {
396 gtk_widget_destroy(GTK_WIDGET(data));
397 }
398
399 static int win_key_press(GtkWidget *widget, GdkEventKey *event, gpointer data)
400 {
401 GtkObject *cancelbutton = GTK_OBJECT(data);
402
403 /*
404 * `Escape' effectively clicks the cancel button
405 */
406 if (event->keyval == GDK_Escape) {
407 gtk_signal_emit_by_name(GTK_OBJECT(cancelbutton), "clicked");
408 return TRUE;
409 }
410
411 return FALSE;
412 }
413
414 void error_box(GtkWidget *parent, char *msg)
415 {
416 GtkWidget *window, *hbox, *text, *ok;
417
418 window = gtk_dialog_new();
419 text = gtk_label_new(msg);
420 gtk_misc_set_alignment(GTK_MISC(text), 0.0, 0.0);
421 hbox = gtk_hbox_new(FALSE, 0);
422 gtk_box_pack_start(GTK_BOX(hbox), text, FALSE, FALSE, 20);
423 gtk_box_pack_start(GTK_BOX(GTK_DIALOG(window)->vbox),
424 hbox, FALSE, FALSE, 20);
425 gtk_widget_show(text);
426 gtk_widget_show(hbox);
427 gtk_window_set_title(GTK_WINDOW(window), "Error");
428 gtk_label_set_line_wrap(GTK_LABEL(text), TRUE);
429 ok = gtk_button_new_with_label("OK");
430 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(window)->action_area),
431 ok, FALSE, FALSE, 0);
432 gtk_widget_show(ok);
433 GTK_WIDGET_SET_FLAGS(ok, GTK_CAN_DEFAULT);
434 gtk_window_set_default(GTK_WINDOW(window), ok);
435 gtk_signal_connect(GTK_OBJECT(ok), "clicked",
436 GTK_SIGNAL_FUNC(errmsg_button_clicked), window);
437 gtk_signal_connect(GTK_OBJECT(window), "key_press_event",
438 GTK_SIGNAL_FUNC(win_key_press), ok);
439 gtk_window_set_modal(GTK_WINDOW(window), TRUE);
440 gtk_window_set_transient_for(GTK_WINDOW(window), GTK_WINDOW(parent));
441 //set_transient_window_pos(parent, window);
442 gtk_widget_show(window);
443 gtk_main();
444 }
445
446 static void config_ok_button_clicked(GtkButton *button, gpointer data)
447 {
448 frontend *fe = (frontend *)data;
449 char *err;
450
451 err = midend_set_config(fe->me, fe->cfg_which, fe->cfg);
452
453 if (err)
454 error_box(fe->cfgbox, err);
455 else {
456 fe->cfgret = TRUE;
457 gtk_widget_destroy(fe->cfgbox);
458 }
459 }
460
461 static void config_cancel_button_clicked(GtkButton *button, gpointer data)
462 {
463 frontend *fe = (frontend *)data;
464
465 gtk_widget_destroy(fe->cfgbox);
466 }
467
468 static int editbox_key(GtkWidget *widget, GdkEventKey *event, gpointer data)
469 {
470 /*
471 * GtkEntry has a nasty habit of eating the Return key, which
472 * is unhelpful since it doesn't actually _do_ anything with it
473 * (it calls gtk_widget_activate, but our edit boxes never need
474 * activating). So I catch Return before GtkEntry sees it, and
475 * pass it straight on to the parent widget. Effect: hitting
476 * Return in an edit box will now activate the default button
477 * in the dialog just like it will everywhere else.
478 */
479 if (event->keyval == GDK_Return && widget->parent != NULL) {
480 gint return_val;
481 gtk_signal_emit_stop_by_name(GTK_OBJECT(widget), "key_press_event");
482 gtk_signal_emit_by_name(GTK_OBJECT(widget->parent), "key_press_event",
483 event, &return_val);
484 return return_val;
485 }
486 return FALSE;
487 }
488
489 static void editbox_changed(GtkEditable *ed, gpointer data)
490 {
491 config_item *i = (config_item *)data;
492
493 sfree(i->sval);
494 i->sval = dupstr(gtk_entry_get_text(GTK_ENTRY(ed)));
495 }
496
497 static void button_toggled(GtkToggleButton *tb, gpointer data)
498 {
499 config_item *i = (config_item *)data;
500
501 i->ival = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(tb));
502 }
503
504 static void droplist_sel(GtkMenuItem *item, gpointer data)
505 {
506 config_item *i = (config_item *)data;
507
508 i->ival = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(item),
509 "user-data"));
510 }
511
512 static int get_config(frontend *fe, int which)
513 {
514 GtkWidget *w, *table, *cancel;
515 char *title;
516 config_item *i;
517 int y;
518
519 fe->cfg = midend_get_config(fe->me, which, &title);
520 fe->cfg_which = which;
521 fe->cfgret = FALSE;
522
523 fe->cfgbox = gtk_dialog_new();
524 gtk_window_set_title(GTK_WINDOW(fe->cfgbox), title);
525 sfree(title);
526
527 w = gtk_button_new_with_label("OK");
528 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
529 w, FALSE, FALSE, 0);
530 gtk_widget_show(w);
531 GTK_WIDGET_SET_FLAGS(w, GTK_CAN_DEFAULT);
532 gtk_window_set_default(GTK_WINDOW(fe->cfgbox), w);
533 gtk_signal_connect(GTK_OBJECT(w), "clicked",
534 GTK_SIGNAL_FUNC(config_ok_button_clicked), fe);
535
536 w = gtk_button_new_with_label("Cancel");
537 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
538 w, FALSE, FALSE, 0);
539 gtk_widget_show(w);
540 gtk_signal_connect(GTK_OBJECT(w), "clicked",
541 GTK_SIGNAL_FUNC(config_cancel_button_clicked), fe);
542 cancel = w;
543
544 table = gtk_table_new(1, 2, FALSE);
545 y = 0;
546 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->vbox),
547 table, FALSE, FALSE, 0);
548 gtk_widget_show(table);
549
550 for (i = fe->cfg; i->type != C_END; i++) {
551 gtk_table_resize(GTK_TABLE(table), y+1, 2);
552
553 switch (i->type) {
554 case C_STRING:
555 /*
556 * Edit box with a label beside it.
557 */
558
559 w = gtk_label_new(i->name);
560 gtk_misc_set_alignment(GTK_MISC(w), 0.0, 0.5);
561 gtk_table_attach(GTK_TABLE(table), w, 0, 1, y, y+1,
562 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
563 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
564 3, 3);
565 gtk_widget_show(w);
566
567 w = gtk_entry_new();
568 gtk_table_attach(GTK_TABLE(table), w, 1, 2, y, y+1,
569 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
570 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
571 3, 3);
572 gtk_entry_set_text(GTK_ENTRY(w), i->sval);
573 gtk_signal_connect(GTK_OBJECT(w), "changed",
574 GTK_SIGNAL_FUNC(editbox_changed), i);
575 gtk_signal_connect(GTK_OBJECT(w), "key_press_event",
576 GTK_SIGNAL_FUNC(editbox_key), NULL);
577 gtk_widget_show(w);
578
579 break;
580
581 case C_BOOLEAN:
582 /*
583 * Simple checkbox.
584 */
585 w = gtk_check_button_new_with_label(i->name);
586 gtk_signal_connect(GTK_OBJECT(w), "toggled",
587 GTK_SIGNAL_FUNC(button_toggled), i);
588 gtk_table_attach(GTK_TABLE(table), w, 0, 2, y, y+1,
589 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
590 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
591 3, 3);
592 gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(w), i->ival);
593 gtk_widget_show(w);
594 break;
595
596 case C_CHOICES:
597 /*
598 * Drop-down list (GtkOptionMenu).
599 */
600
601 w = gtk_label_new(i->name);
602 gtk_misc_set_alignment(GTK_MISC(w), 0.0, 0.5);
603 gtk_table_attach(GTK_TABLE(table), w, 0, 1, y, y+1,
604 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
605 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
606 3, 3);
607 gtk_widget_show(w);
608
609 w = gtk_option_menu_new();
610 gtk_table_attach(GTK_TABLE(table), w, 1, 2, y, y+1,
611 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
612 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
613 3, 3);
614 gtk_widget_show(w);
615
616 {
617 int c, val;
618 char *p, *q, *name;
619 GtkWidget *menuitem;
620 GtkWidget *menu = gtk_menu_new();
621
622 gtk_option_menu_set_menu(GTK_OPTION_MENU(w), menu);
623
624 c = *i->sval;
625 p = i->sval+1;
626 val = 0;
627
628 while (*p) {
629 q = p;
630 while (*q && *q != c)
631 q++;
632
633 name = snewn(q-p+1, char);
634 strncpy(name, p, q-p);
635 name[q-p] = '\0';
636
637 if (*q) q++; /* eat delimiter */
638
639 menuitem = gtk_menu_item_new_with_label(name);
640 gtk_container_add(GTK_CONTAINER(menu), menuitem);
641 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
642 GINT_TO_POINTER(val));
643 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
644 GTK_SIGNAL_FUNC(droplist_sel), i);
645 gtk_widget_show(menuitem);
646
647 val++;
648
649 p = q;
650 }
651
652 gtk_option_menu_set_history(GTK_OPTION_MENU(w), i->ival);
653 }
654
655 break;
656 }
657
658 y++;
659 }
660
661 gtk_signal_connect(GTK_OBJECT(fe->cfgbox), "destroy",
662 GTK_SIGNAL_FUNC(window_destroy), NULL);
663 gtk_signal_connect(GTK_OBJECT(fe->cfgbox), "key_press_event",
664 GTK_SIGNAL_FUNC(win_key_press), cancel);
665 gtk_window_set_modal(GTK_WINDOW(fe->cfgbox), TRUE);
666 gtk_window_set_transient_for(GTK_WINDOW(fe->cfgbox),
667 GTK_WINDOW(fe->window));
668 //set_transient_window_pos(fe->window, fe->cfgbox);
669 gtk_widget_show(fe->cfgbox);
670 gtk_main();
671
672 free_cfg(fe->cfg);
673
674 return fe->cfgret;
675 }
676
677 static void menu_key_event(GtkMenuItem *menuitem, gpointer data)
678 {
679 frontend *fe = (frontend *)data;
680 int key = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
681 "user-data"));
682 if (!midend_process_key(fe->me, 0, 0, key))
683 gtk_widget_destroy(fe->window);
684 }
685
686 static void menu_preset_event(GtkMenuItem *menuitem, gpointer data)
687 {
688 frontend *fe = (frontend *)data;
689 game_params *params =
690 (game_params *)gtk_object_get_data(GTK_OBJECT(menuitem), "user-data");
691 int x, y;
692
693 midend_set_params(fe->me, params);
694 midend_new_game(fe->me);
695 midend_size(fe->me, &x, &y);
696 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
697 fe->w = x;
698 fe->h = y;
699 }
700
701 static void menu_config_event(GtkMenuItem *menuitem, gpointer data)
702 {
703 frontend *fe = (frontend *)data;
704 int which = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
705 "user-data"));
706 int x, y;
707
708 if (!get_config(fe, which))
709 return;
710
711 midend_new_game(fe->me);
712 midend_size(fe->me, &x, &y);
713 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
714 fe->w = x;
715 fe->h = y;
716 }
717
718 static GtkWidget *add_menu_item_with_key(frontend *fe, GtkContainer *cont,
719 char *text, int key)
720 {
721 GtkWidget *menuitem = gtk_menu_item_new_with_label(text);
722 gtk_container_add(cont, menuitem);
723 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
724 GINT_TO_POINTER(key));
725 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
726 GTK_SIGNAL_FUNC(menu_key_event), fe);
727 gtk_widget_show(menuitem);
728 return menuitem;
729 }
730
731 static void add_menu_separator(GtkContainer *cont)
732 {
733 GtkWidget *menuitem = gtk_menu_item_new();
734 gtk_container_add(cont, menuitem);
735 gtk_widget_show(menuitem);
736 }
737
738 static frontend *new_window(void)
739 {
740 frontend *fe;
741 GtkBox *vbox;
742 GtkWidget *menubar, *menu, *menuitem;
743 int x, y, n;
744 time_t t;
745
746 fe = snew(frontend);
747
748 time(&t);
749 fe->me = midend_new(fe, &t, sizeof(t));
750 midend_new_game(fe->me);
751
752 fe->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
753 gtk_window_set_title(GTK_WINDOW(fe->window), game_name);
754 #if 0
755 gtk_window_set_resizable(GTK_WINDOW(fe->window), FALSE);
756 #else
757 gtk_window_set_policy(GTK_WINDOW(fe->window), FALSE, FALSE, TRUE);
758 #endif
759 vbox = GTK_BOX(gtk_vbox_new(FALSE, 0));
760 gtk_container_add(GTK_CONTAINER(fe->window), GTK_WIDGET(vbox));
761 gtk_widget_show(GTK_WIDGET(vbox));
762
763 menubar = gtk_menu_bar_new();
764 gtk_box_pack_start(vbox, menubar, FALSE, FALSE, 0);
765 gtk_widget_show(menubar);
766
767 menuitem = gtk_menu_item_new_with_label("Game");
768 gtk_container_add(GTK_CONTAINER(menubar), menuitem);
769 gtk_widget_show(menuitem);
770
771 menu = gtk_menu_new();
772 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), menu);
773
774 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "New", 'n');
775 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Restart", 'r');
776
777 menuitem = gtk_menu_item_new_with_label("Specific...");
778 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
779 GINT_TO_POINTER(CFG_SEED));
780 gtk_container_add(GTK_CONTAINER(menu), menuitem);
781 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
782 GTK_SIGNAL_FUNC(menu_config_event), fe);
783 gtk_widget_show(menuitem);
784
785 if ((n = midend_num_presets(fe->me)) > 0 || game_can_configure) {
786 GtkWidget *submenu;
787 int i;
788
789 menuitem = gtk_menu_item_new_with_label("Type");
790 gtk_container_add(GTK_CONTAINER(menubar), menuitem);
791 gtk_widget_show(menuitem);
792
793 submenu = gtk_menu_new();
794 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), submenu);
795
796 for (i = 0; i < n; i++) {
797 char *name;
798 game_params *params;
799
800 midend_fetch_preset(fe->me, i, &name, &params);
801
802 menuitem = gtk_menu_item_new_with_label(name);
803 gtk_container_add(GTK_CONTAINER(submenu), menuitem);
804 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data", params);
805 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
806 GTK_SIGNAL_FUNC(menu_preset_event), fe);
807 gtk_widget_show(menuitem);
808 }
809
810 if (game_can_configure) {
811 menuitem = gtk_menu_item_new_with_label("Custom...");
812 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
813 GPOINTER_TO_INT(CFG_SETTINGS));
814 gtk_container_add(GTK_CONTAINER(submenu), menuitem);
815 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
816 GTK_SIGNAL_FUNC(menu_config_event), fe);
817 gtk_widget_show(menuitem);
818 }
819 }
820
821 add_menu_separator(GTK_CONTAINER(menu));
822 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Undo", 'u');
823 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Redo", '\x12');
824 add_menu_separator(GTK_CONTAINER(menu));
825 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Exit", 'q');
826
827 {
828 int i, ncolours;
829 float *colours;
830 gboolean *success;
831
832 fe->colmap = gdk_colormap_get_system();
833 colours = midend_colours(fe->me, &ncolours);
834 fe->ncolours = ncolours;
835 fe->colours = snewn(ncolours, GdkColor);
836 for (i = 0; i < ncolours; i++) {
837 fe->colours[i].red = colours[i*3] * 0xFFFF;
838 fe->colours[i].green = colours[i*3+1] * 0xFFFF;
839 fe->colours[i].blue = colours[i*3+2] * 0xFFFF;
840 }
841 success = snewn(ncolours, gboolean);
842 gdk_colormap_alloc_colors(fe->colmap, fe->colours, ncolours,
843 FALSE, FALSE, success);
844 for (i = 0; i < ncolours; i++) {
845 if (!success[i])
846 g_error("couldn't allocate colour %d (#%02x%02x%02x)\n",
847 i, fe->colours[i].red >> 8,
848 fe->colours[i].green >> 8,
849 fe->colours[i].blue >> 8);
850 }
851 }
852
853 if (midend_wants_statusbar(fe->me)) {
854 GtkWidget *viewport;
855 GtkRequisition req;
856
857 viewport = gtk_viewport_new(NULL, NULL);
858 gtk_viewport_set_shadow_type(GTK_VIEWPORT(viewport), GTK_SHADOW_NONE);
859 fe->statusbar = gtk_statusbar_new();
860 gtk_container_add(GTK_CONTAINER(viewport), fe->statusbar);
861 gtk_widget_show(viewport);
862 gtk_box_pack_end(vbox, viewport, FALSE, FALSE, 0);
863 gtk_widget_show(fe->statusbar);
864 fe->statusctx = gtk_statusbar_get_context_id
865 (GTK_STATUSBAR(fe->statusbar), "game");
866 gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx,
867 "test");
868 gtk_widget_size_request(fe->statusbar, &req);
869 #if 0
870 /* For GTK 2.0, should we be using gtk_widget_set_size_request? */
871 #endif
872 gtk_widget_set_usize(viewport, x, req.height);
873 } else
874 fe->statusbar = NULL;
875
876 fe->area = gtk_drawing_area_new();
877 midend_size(fe->me, &x, &y);
878 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
879 fe->w = x;
880 fe->h = y;
881
882 gtk_box_pack_end(vbox, fe->area, FALSE, FALSE, 0);
883
884 fe->pixmap = NULL;
885 fe->fonts = NULL;
886 fe->nfonts = fe->fontsize = 0;
887
888 fe->timer_active = FALSE;
889
890 gtk_signal_connect(GTK_OBJECT(fe->window), "destroy",
891 GTK_SIGNAL_FUNC(destroy), fe);
892 gtk_signal_connect(GTK_OBJECT(fe->window), "key_press_event",
893 GTK_SIGNAL_FUNC(key_event), fe);
894 gtk_signal_connect(GTK_OBJECT(fe->area), "button_press_event",
895 GTK_SIGNAL_FUNC(button_event), fe);
896 gtk_signal_connect(GTK_OBJECT(fe->area), "expose_event",
897 GTK_SIGNAL_FUNC(expose_area), fe);
898 gtk_signal_connect(GTK_OBJECT(fe->window), "map_event",
899 GTK_SIGNAL_FUNC(map_window), fe);
900 gtk_signal_connect(GTK_OBJECT(fe->area), "configure_event",
901 GTK_SIGNAL_FUNC(configure_area), fe);
902
903 gtk_widget_add_events(GTK_WIDGET(fe->area), GDK_BUTTON_PRESS_MASK);
904
905 gtk_widget_show(fe->area);
906 gtk_widget_show(fe->window);
907
908 return fe;
909 }
910
911 int main(int argc, char **argv)
912 {
913 gtk_init(&argc, &argv);
914 (void) new_window();
915 gtk_main();
916
917 return 0;
918 }