Introduce the concept of a `game_aux_info' structure. This is
[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 <gdk/gdkx.h>
18 #include <X11/Xlib.h>
19 #include <X11/Xutil.h>
20 #include <X11/Xatom.h>
21
22 #include "puzzles.h"
23
24 /* ----------------------------------------------------------------------
25 * Error reporting functions used elsewhere.
26 */
27
28 void fatal(char *fmt, ...)
29 {
30 va_list ap;
31
32 fprintf(stderr, "fatal error: ");
33
34 va_start(ap, fmt);
35 vfprintf(stderr, fmt, ap);
36 va_end(ap);
37
38 fprintf(stderr, "\n");
39 exit(1);
40 }
41
42 /* ----------------------------------------------------------------------
43 * GTK front end to puzzles.
44 */
45
46 struct font {
47 GdkFont *font;
48 int type;
49 int size;
50 };
51
52 /*
53 * This structure holds all the data relevant to a single window.
54 * In principle this would allow us to open multiple independent
55 * puzzle windows, although I can't currently see any real point in
56 * doing so. I'm just coding cleanly because there's no
57 * particularly good reason not to.
58 */
59 struct frontend {
60 GtkWidget *window;
61 GtkWidget *area;
62 GtkWidget *statusbar;
63 guint statusctx;
64 GdkPixmap *pixmap;
65 GdkColor *colours;
66 int ncolours;
67 GdkColormap *colmap;
68 int w, h;
69 midend_data *me;
70 GdkGC *gc;
71 int bbox_l, bbox_r, bbox_u, bbox_d;
72 int timer_active, timer_id;
73 struct timeval last_time;
74 struct font *fonts;
75 int nfonts, fontsize;
76 config_item *cfg;
77 int cfg_which, cfgret;
78 GtkWidget *cfgbox;
79 char *paste_data;
80 int paste_data_len;
81 };
82
83 void get_random_seed(void **randseed, int *randseedsize)
84 {
85 time_t *tp = snew(time_t);
86 time(tp);
87 *randseed = (void *)tp;
88 *randseedsize = sizeof(time_t);
89 }
90
91 void frontend_default_colour(frontend *fe, float *output)
92 {
93 GdkColor col = fe->window->style->bg[GTK_STATE_NORMAL];
94 output[0] = col.red / 65535.0;
95 output[1] = col.green / 65535.0;
96 output[2] = col.blue / 65535.0;
97 }
98
99 void status_bar(frontend *fe, char *text)
100 {
101 assert(fe->statusbar);
102
103 gtk_statusbar_pop(GTK_STATUSBAR(fe->statusbar), fe->statusctx);
104 gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx, text);
105 }
106
107 void start_draw(frontend *fe)
108 {
109 fe->gc = gdk_gc_new(fe->area->window);
110 fe->bbox_l = fe->w;
111 fe->bbox_r = 0;
112 fe->bbox_u = fe->h;
113 fe->bbox_d = 0;
114 }
115
116 void clip(frontend *fe, int x, int y, int w, int h)
117 {
118 GdkRectangle rect;
119
120 rect.x = x;
121 rect.y = y;
122 rect.width = w;
123 rect.height = h;
124
125 gdk_gc_set_clip_rectangle(fe->gc, &rect);
126 }
127
128 void unclip(frontend *fe)
129 {
130 GdkRectangle rect;
131
132 rect.x = 0;
133 rect.y = 0;
134 rect.width = fe->w;
135 rect.height = fe->h;
136
137 gdk_gc_set_clip_rectangle(fe->gc, &rect);
138 }
139
140 void draw_text(frontend *fe, int x, int y, int fonttype, int fontsize,
141 int align, int colour, char *text)
142 {
143 int i;
144
145 /*
146 * Find or create the font.
147 */
148 for (i = 0; i < fe->nfonts; i++)
149 if (fe->fonts[i].type == fonttype && fe->fonts[i].size == fontsize)
150 break;
151
152 if (i == fe->nfonts) {
153 if (fe->fontsize <= fe->nfonts) {
154 fe->fontsize = fe->nfonts + 10;
155 fe->fonts = sresize(fe->fonts, fe->fontsize, struct font);
156 }
157
158 fe->nfonts++;
159
160 fe->fonts[i].type = fonttype;
161 fe->fonts[i].size = fontsize;
162
163 #if GTK_CHECK_VERSION(2,0,0)
164 /*
165 * Use Pango to find the closest match to the requested
166 * font.
167 */
168 {
169 PangoFontDescription *fd;
170
171 fd = pango_font_description_new();
172 /* `Monospace' and `Sans' are meta-families guaranteed to exist */
173 pango_font_description_set_family(fd, fonttype == FONT_FIXED ?
174 "Monospace" : "Sans");
175 pango_font_description_set_weight(fd, PANGO_WEIGHT_BOLD);
176 /*
177 * I found some online Pango documentation which
178 * described a function called
179 * pango_font_description_set_absolute_size(), which is
180 * _exactly_ what I want here. Unfortunately, none of
181 * my local Pango installations have it (presumably
182 * they're too old), so I'm going to have to hack round
183 * it by figuring out the point size myself. This
184 * limits me to X and probably also breaks in later
185 * Pango installations, so ideally I should add another
186 * CHECK_VERSION type ifdef and use set_absolute_size
187 * where available. All very annoying.
188 */
189 #ifdef HAVE_SENSIBLE_ABSOLUTE_SIZE_FUNCTION
190 pango_font_description_set_absolute_size(fd, PANGO_SCALE*fontsize);
191 #else
192 {
193 Display *d = GDK_DISPLAY();
194 int s = DefaultScreen(d);
195 double resolution =
196 (PANGO_SCALE * 72.27 / 25.4) *
197 ((double) DisplayWidthMM(d, s) / DisplayWidth (d, s));
198 pango_font_description_set_size(fd, resolution * fontsize);
199 }
200 #endif
201 fe->fonts[i].font = gdk_font_from_description(fd);
202 pango_font_description_free(fd);
203 }
204
205 if (!fe->fonts[i].font)
206 #endif
207 /*
208 * In GTK 1.2, I don't know of any plausible way to
209 * pick a suitable font, so I'm just going to be
210 * tedious.
211 *
212 * This is also fallback code called if the Pango
213 * approach fails to find an appropriate font.
214 */
215 fe->fonts[i].font = gdk_font_load(fonttype == FONT_FIXED ?
216 "fixed" : "variable");
217 }
218
219 /*
220 * Find string dimensions and process alignment.
221 */
222 {
223 int lb, rb, wid, asc, desc;
224
225 /*
226 * Measure vertical string extents with respect to the same
227 * string always...
228 */
229 gdk_string_extents(fe->fonts[i].font,
230 "ABCDEFGHIJKLMNOPQRSTUVWXYZ",
231 &lb, &rb, &wid, &asc, &desc);
232 if (align & ALIGN_VCENTRE)
233 y += asc - (asc+desc)/2;
234
235 /*
236 * ... but horizontal extents with respect to the provided
237 * string. This means that multiple pieces of text centred
238 * on the same y-coordinate don't have different baselines.
239 */
240 gdk_string_extents(fe->fonts[i].font, text,
241 &lb, &rb, &wid, &asc, &desc);
242
243 if (align & ALIGN_HCENTRE)
244 x -= wid / 2;
245 else if (align & ALIGN_HRIGHT)
246 x -= wid;
247
248 }
249
250 /*
251 * Set colour and actually draw text.
252 */
253 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
254 gdk_draw_string(fe->pixmap, fe->fonts[i].font, fe->gc, x, y, text);
255 }
256
257 void draw_rect(frontend *fe, int x, int y, int w, int h, int colour)
258 {
259 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
260 gdk_draw_rectangle(fe->pixmap, fe->gc, 1, x, y, w, h);
261 }
262
263 void draw_line(frontend *fe, int x1, int y1, int x2, int y2, int colour)
264 {
265 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
266 gdk_draw_line(fe->pixmap, fe->gc, x1, y1, x2, y2);
267 }
268
269 void draw_polygon(frontend *fe, int *coords, int npoints,
270 int fill, int colour)
271 {
272 GdkPoint *points = snewn(npoints, GdkPoint);
273 int i;
274
275 for (i = 0; i < npoints; i++) {
276 points[i].x = coords[i*2];
277 points[i].y = coords[i*2+1];
278 }
279
280 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
281 gdk_draw_polygon(fe->pixmap, fe->gc, fill, points, npoints);
282
283 sfree(points);
284 }
285
286 void draw_update(frontend *fe, int x, int y, int w, int h)
287 {
288 if (fe->bbox_l > x ) fe->bbox_l = x ;
289 if (fe->bbox_r < x+w) fe->bbox_r = x+w;
290 if (fe->bbox_u > y ) fe->bbox_u = y ;
291 if (fe->bbox_d < y+h) fe->bbox_d = y+h;
292 }
293
294 void end_draw(frontend *fe)
295 {
296 gdk_gc_unref(fe->gc);
297 fe->gc = NULL;
298
299 if (fe->bbox_l < fe->bbox_r && fe->bbox_u < fe->bbox_d) {
300 gdk_draw_pixmap(fe->area->window,
301 fe->area->style->fg_gc[GTK_WIDGET_STATE(fe->area)],
302 fe->pixmap,
303 fe->bbox_l, fe->bbox_u,
304 fe->bbox_l, fe->bbox_u,
305 fe->bbox_r - fe->bbox_l, fe->bbox_d - fe->bbox_u);
306 }
307 }
308
309 static void destroy(GtkWidget *widget, gpointer data)
310 {
311 frontend *fe = (frontend *)data;
312 deactivate_timer(fe);
313 gtk_main_quit();
314 }
315
316 static gint key_event(GtkWidget *widget, GdkEventKey *event, gpointer data)
317 {
318 frontend *fe = (frontend *)data;
319 int keyval;
320
321 if (!fe->pixmap)
322 return TRUE;
323
324 if (event->string[0] && !event->string[1])
325 keyval = (unsigned char)event->string[0];
326 else if (event->keyval == GDK_Up || event->keyval == GDK_KP_Up ||
327 event->keyval == GDK_KP_8)
328 keyval = CURSOR_UP;
329 else if (event->keyval == GDK_Down || event->keyval == GDK_KP_Down ||
330 event->keyval == GDK_KP_2)
331 keyval = CURSOR_DOWN;
332 else if (event->keyval == GDK_Left || event->keyval == GDK_KP_Left ||
333 event->keyval == GDK_KP_4)
334 keyval = CURSOR_LEFT;
335 else if (event->keyval == GDK_Right || event->keyval == GDK_KP_Right ||
336 event->keyval == GDK_KP_6)
337 keyval = CURSOR_RIGHT;
338 else if (event->keyval == GDK_KP_Home || event->keyval == GDK_KP_7)
339 keyval = CURSOR_UP_LEFT;
340 else if (event->keyval == GDK_KP_End || event->keyval == GDK_KP_1)
341 keyval = CURSOR_DOWN_LEFT;
342 else if (event->keyval == GDK_KP_Page_Up || event->keyval == GDK_KP_9)
343 keyval = CURSOR_UP_RIGHT;
344 else if (event->keyval == GDK_KP_Page_Down || event->keyval == GDK_KP_3)
345 keyval = CURSOR_DOWN_RIGHT;
346 else
347 keyval = -1;
348
349 if (keyval >= 0 &&
350 !midend_process_key(fe->me, 0, 0, keyval))
351 gtk_widget_destroy(fe->window);
352
353 return TRUE;
354 }
355
356 static gint button_event(GtkWidget *widget, GdkEventButton *event,
357 gpointer data)
358 {
359 frontend *fe = (frontend *)data;
360 int button;
361
362 if (!fe->pixmap)
363 return TRUE;
364
365 if (event->type != GDK_BUTTON_PRESS && event->type != GDK_BUTTON_RELEASE)
366 return TRUE;
367
368 if (event->button == 2 || (event->state & GDK_SHIFT_MASK))
369 button = MIDDLE_BUTTON;
370 else if (event->button == 1)
371 button = LEFT_BUTTON;
372 else if (event->button == 3)
373 button = RIGHT_BUTTON;
374 else
375 return FALSE; /* don't even know what button! */
376
377 if (event->type == GDK_BUTTON_RELEASE)
378 button += LEFT_RELEASE - LEFT_BUTTON;
379
380 if (!midend_process_key(fe->me, event->x, event->y, button))
381 gtk_widget_destroy(fe->window);
382
383 return TRUE;
384 }
385
386 static gint motion_event(GtkWidget *widget, GdkEventMotion *event,
387 gpointer data)
388 {
389 frontend *fe = (frontend *)data;
390 int button;
391
392 if (!fe->pixmap)
393 return TRUE;
394
395 if (event->state & (GDK_BUTTON2_MASK | GDK_SHIFT_MASK))
396 button = MIDDLE_DRAG;
397 else if (event->state & GDK_BUTTON1_MASK)
398 button = LEFT_DRAG;
399 else if (event->state & GDK_BUTTON3_MASK)
400 button = RIGHT_DRAG;
401 else
402 return FALSE; /* don't even know what button! */
403
404 if (!midend_process_key(fe->me, event->x, event->y, button))
405 gtk_widget_destroy(fe->window);
406
407 return TRUE;
408 }
409
410 static gint expose_area(GtkWidget *widget, GdkEventExpose *event,
411 gpointer data)
412 {
413 frontend *fe = (frontend *)data;
414
415 if (fe->pixmap) {
416 gdk_draw_pixmap(widget->window,
417 widget->style->fg_gc[GTK_WIDGET_STATE(widget)],
418 fe->pixmap,
419 event->area.x, event->area.y,
420 event->area.x, event->area.y,
421 event->area.width, event->area.height);
422 }
423 return TRUE;
424 }
425
426 static gint map_window(GtkWidget *widget, GdkEvent *event,
427 gpointer data)
428 {
429 frontend *fe = (frontend *)data;
430
431 /*
432 * Apparently we need to do this because otherwise the status
433 * bar will fail to update immediately. Annoying, but there we
434 * go.
435 */
436 gtk_widget_queue_draw(fe->window);
437
438 return TRUE;
439 }
440
441 static gint configure_area(GtkWidget *widget,
442 GdkEventConfigure *event, gpointer data)
443 {
444 frontend *fe = (frontend *)data;
445 GdkGC *gc;
446
447 if (fe->pixmap)
448 gdk_pixmap_unref(fe->pixmap);
449
450 fe->pixmap = gdk_pixmap_new(widget->window, fe->w, fe->h, -1);
451
452 gc = gdk_gc_new(fe->area->window);
453 gdk_gc_set_foreground(gc, &fe->colours[0]);
454 gdk_draw_rectangle(fe->pixmap, gc, 1, 0, 0, fe->w, fe->h);
455 gdk_gc_unref(gc);
456
457 midend_redraw(fe->me);
458
459 return TRUE;
460 }
461
462 static gint timer_func(gpointer data)
463 {
464 frontend *fe = (frontend *)data;
465
466 if (fe->timer_active) {
467 struct timeval now;
468 float elapsed;
469 gettimeofday(&now, NULL);
470 elapsed = ((now.tv_usec - fe->last_time.tv_usec) * 0.000001F +
471 (now.tv_sec - fe->last_time.tv_sec));
472 midend_timer(fe->me, elapsed); /* may clear timer_active */
473 fe->last_time = now;
474 }
475
476 return fe->timer_active;
477 }
478
479 void deactivate_timer(frontend *fe)
480 {
481 if (fe->timer_active)
482 gtk_timeout_remove(fe->timer_id);
483 fe->timer_active = FALSE;
484 }
485
486 void activate_timer(frontend *fe)
487 {
488 if (!fe->timer_active) {
489 fe->timer_id = gtk_timeout_add(20, timer_func, fe);
490 gettimeofday(&fe->last_time, NULL);
491 }
492 fe->timer_active = TRUE;
493 }
494
495 static void window_destroy(GtkWidget *widget, gpointer data)
496 {
497 gtk_main_quit();
498 }
499
500 static void errmsg_button_clicked(GtkButton *button, gpointer data)
501 {
502 gtk_widget_destroy(GTK_WIDGET(data));
503 }
504
505 static int win_key_press(GtkWidget *widget, GdkEventKey *event, gpointer data)
506 {
507 GtkObject *cancelbutton = GTK_OBJECT(data);
508
509 /*
510 * `Escape' effectively clicks the cancel button
511 */
512 if (event->keyval == GDK_Escape) {
513 gtk_signal_emit_by_name(GTK_OBJECT(cancelbutton), "clicked");
514 return TRUE;
515 }
516
517 return FALSE;
518 }
519
520 void error_box(GtkWidget *parent, char *msg)
521 {
522 GtkWidget *window, *hbox, *text, *ok;
523
524 window = gtk_dialog_new();
525 text = gtk_label_new(msg);
526 gtk_misc_set_alignment(GTK_MISC(text), 0.0, 0.0);
527 hbox = gtk_hbox_new(FALSE, 0);
528 gtk_box_pack_start(GTK_BOX(hbox), text, FALSE, FALSE, 20);
529 gtk_box_pack_start(GTK_BOX(GTK_DIALOG(window)->vbox),
530 hbox, FALSE, FALSE, 20);
531 gtk_widget_show(text);
532 gtk_widget_show(hbox);
533 gtk_window_set_title(GTK_WINDOW(window), "Error");
534 gtk_label_set_line_wrap(GTK_LABEL(text), TRUE);
535 ok = gtk_button_new_with_label("OK");
536 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(window)->action_area),
537 ok, FALSE, FALSE, 0);
538 gtk_widget_show(ok);
539 GTK_WIDGET_SET_FLAGS(ok, GTK_CAN_DEFAULT);
540 gtk_window_set_default(GTK_WINDOW(window), ok);
541 gtk_signal_connect(GTK_OBJECT(ok), "clicked",
542 GTK_SIGNAL_FUNC(errmsg_button_clicked), window);
543 gtk_signal_connect(GTK_OBJECT(window), "destroy",
544 GTK_SIGNAL_FUNC(window_destroy), NULL);
545 gtk_signal_connect(GTK_OBJECT(window), "key_press_event",
546 GTK_SIGNAL_FUNC(win_key_press), ok);
547 gtk_window_set_modal(GTK_WINDOW(window), TRUE);
548 gtk_window_set_transient_for(GTK_WINDOW(window), GTK_WINDOW(parent));
549 //set_transient_window_pos(parent, window);
550 gtk_widget_show(window);
551 gtk_main();
552 }
553
554 static void config_ok_button_clicked(GtkButton *button, gpointer data)
555 {
556 frontend *fe = (frontend *)data;
557 char *err;
558
559 err = midend_set_config(fe->me, fe->cfg_which, fe->cfg);
560
561 if (err)
562 error_box(fe->cfgbox, err);
563 else {
564 fe->cfgret = TRUE;
565 gtk_widget_destroy(fe->cfgbox);
566 }
567 }
568
569 static void config_cancel_button_clicked(GtkButton *button, gpointer data)
570 {
571 frontend *fe = (frontend *)data;
572
573 gtk_widget_destroy(fe->cfgbox);
574 }
575
576 static int editbox_key(GtkWidget *widget, GdkEventKey *event, gpointer data)
577 {
578 /*
579 * GtkEntry has a nasty habit of eating the Return key, which
580 * is unhelpful since it doesn't actually _do_ anything with it
581 * (it calls gtk_widget_activate, but our edit boxes never need
582 * activating). So I catch Return before GtkEntry sees it, and
583 * pass it straight on to the parent widget. Effect: hitting
584 * Return in an edit box will now activate the default button
585 * in the dialog just like it will everywhere else.
586 */
587 if (event->keyval == GDK_Return && widget->parent != NULL) {
588 gint return_val;
589 gtk_signal_emit_stop_by_name(GTK_OBJECT(widget), "key_press_event");
590 gtk_signal_emit_by_name(GTK_OBJECT(widget->parent), "key_press_event",
591 event, &return_val);
592 return return_val;
593 }
594 return FALSE;
595 }
596
597 static void editbox_changed(GtkEditable *ed, gpointer data)
598 {
599 config_item *i = (config_item *)data;
600
601 sfree(i->sval);
602 i->sval = dupstr(gtk_entry_get_text(GTK_ENTRY(ed)));
603 }
604
605 static void button_toggled(GtkToggleButton *tb, gpointer data)
606 {
607 config_item *i = (config_item *)data;
608
609 i->ival = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(tb));
610 }
611
612 static void droplist_sel(GtkMenuItem *item, gpointer data)
613 {
614 config_item *i = (config_item *)data;
615
616 i->ival = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(item),
617 "user-data"));
618 }
619
620 static int get_config(frontend *fe, int which)
621 {
622 GtkWidget *w, *table, *cancel;
623 char *title;
624 config_item *i;
625 int y;
626
627 fe->cfg = midend_get_config(fe->me, which, &title);
628 fe->cfg_which = which;
629 fe->cfgret = FALSE;
630
631 fe->cfgbox = gtk_dialog_new();
632 gtk_window_set_title(GTK_WINDOW(fe->cfgbox), title);
633 sfree(title);
634
635 w = gtk_button_new_with_label("OK");
636 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
637 w, FALSE, FALSE, 0);
638 gtk_widget_show(w);
639 GTK_WIDGET_SET_FLAGS(w, GTK_CAN_DEFAULT);
640 gtk_window_set_default(GTK_WINDOW(fe->cfgbox), w);
641 gtk_signal_connect(GTK_OBJECT(w), "clicked",
642 GTK_SIGNAL_FUNC(config_ok_button_clicked), fe);
643
644 w = gtk_button_new_with_label("Cancel");
645 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
646 w, FALSE, FALSE, 0);
647 gtk_widget_show(w);
648 gtk_signal_connect(GTK_OBJECT(w), "clicked",
649 GTK_SIGNAL_FUNC(config_cancel_button_clicked), fe);
650 cancel = w;
651
652 table = gtk_table_new(1, 2, FALSE);
653 y = 0;
654 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->vbox),
655 table, FALSE, FALSE, 0);
656 gtk_widget_show(table);
657
658 for (i = fe->cfg; i->type != C_END; i++) {
659 gtk_table_resize(GTK_TABLE(table), y+1, 2);
660
661 switch (i->type) {
662 case C_STRING:
663 /*
664 * Edit box with a label beside it.
665 */
666
667 w = gtk_label_new(i->name);
668 gtk_misc_set_alignment(GTK_MISC(w), 0.0, 0.5);
669 gtk_table_attach(GTK_TABLE(table), w, 0, 1, y, y+1,
670 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
671 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
672 3, 3);
673 gtk_widget_show(w);
674
675 w = gtk_entry_new();
676 gtk_table_attach(GTK_TABLE(table), w, 1, 2, y, y+1,
677 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
678 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
679 3, 3);
680 gtk_entry_set_text(GTK_ENTRY(w), i->sval);
681 gtk_signal_connect(GTK_OBJECT(w), "changed",
682 GTK_SIGNAL_FUNC(editbox_changed), i);
683 gtk_signal_connect(GTK_OBJECT(w), "key_press_event",
684 GTK_SIGNAL_FUNC(editbox_key), NULL);
685 gtk_widget_show(w);
686
687 break;
688
689 case C_BOOLEAN:
690 /*
691 * Simple checkbox.
692 */
693 w = gtk_check_button_new_with_label(i->name);
694 gtk_signal_connect(GTK_OBJECT(w), "toggled",
695 GTK_SIGNAL_FUNC(button_toggled), i);
696 gtk_table_attach(GTK_TABLE(table), w, 0, 2, y, y+1,
697 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
698 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
699 3, 3);
700 gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(w), i->ival);
701 gtk_widget_show(w);
702 break;
703
704 case C_CHOICES:
705 /*
706 * Drop-down list (GtkOptionMenu).
707 */
708
709 w = gtk_label_new(i->name);
710 gtk_misc_set_alignment(GTK_MISC(w), 0.0, 0.5);
711 gtk_table_attach(GTK_TABLE(table), w, 0, 1, y, y+1,
712 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
713 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
714 3, 3);
715 gtk_widget_show(w);
716
717 w = gtk_option_menu_new();
718 gtk_table_attach(GTK_TABLE(table), w, 1, 2, y, y+1,
719 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
720 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
721 3, 3);
722 gtk_widget_show(w);
723
724 {
725 int c, val;
726 char *p, *q, *name;
727 GtkWidget *menuitem;
728 GtkWidget *menu = gtk_menu_new();
729
730 gtk_option_menu_set_menu(GTK_OPTION_MENU(w), menu);
731
732 c = *i->sval;
733 p = i->sval+1;
734 val = 0;
735
736 while (*p) {
737 q = p;
738 while (*q && *q != c)
739 q++;
740
741 name = snewn(q-p+1, char);
742 strncpy(name, p, q-p);
743 name[q-p] = '\0';
744
745 if (*q) q++; /* eat delimiter */
746
747 menuitem = gtk_menu_item_new_with_label(name);
748 gtk_container_add(GTK_CONTAINER(menu), menuitem);
749 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
750 GINT_TO_POINTER(val));
751 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
752 GTK_SIGNAL_FUNC(droplist_sel), i);
753 gtk_widget_show(menuitem);
754
755 val++;
756
757 p = q;
758 }
759
760 gtk_option_menu_set_history(GTK_OPTION_MENU(w), i->ival);
761 }
762
763 break;
764 }
765
766 y++;
767 }
768
769 gtk_signal_connect(GTK_OBJECT(fe->cfgbox), "destroy",
770 GTK_SIGNAL_FUNC(window_destroy), NULL);
771 gtk_signal_connect(GTK_OBJECT(fe->cfgbox), "key_press_event",
772 GTK_SIGNAL_FUNC(win_key_press), cancel);
773 gtk_window_set_modal(GTK_WINDOW(fe->cfgbox), TRUE);
774 gtk_window_set_transient_for(GTK_WINDOW(fe->cfgbox),
775 GTK_WINDOW(fe->window));
776 //set_transient_window_pos(fe->window, fe->cfgbox);
777 gtk_widget_show(fe->cfgbox);
778 gtk_main();
779
780 free_cfg(fe->cfg);
781
782 return fe->cfgret;
783 }
784
785 static void menu_key_event(GtkMenuItem *menuitem, gpointer data)
786 {
787 frontend *fe = (frontend *)data;
788 int key = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
789 "user-data"));
790 if (!midend_process_key(fe->me, 0, 0, key))
791 gtk_widget_destroy(fe->window);
792 }
793
794 static void menu_preset_event(GtkMenuItem *menuitem, gpointer data)
795 {
796 frontend *fe = (frontend *)data;
797 game_params *params =
798 (game_params *)gtk_object_get_data(GTK_OBJECT(menuitem), "user-data");
799 int x, y;
800
801 midend_set_params(fe->me, params);
802 midend_new_game(fe->me);
803 midend_size(fe->me, &x, &y);
804 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
805 fe->w = x;
806 fe->h = y;
807 }
808
809 GdkAtom compound_text_atom, utf8_string_atom;
810 int paste_initialised = FALSE;
811
812 void init_paste()
813 {
814 if (paste_initialised)
815 return;
816
817 if (!compound_text_atom)
818 compound_text_atom = gdk_atom_intern("COMPOUND_TEXT", FALSE);
819 if (!utf8_string_atom)
820 utf8_string_atom = gdk_atom_intern("UTF8_STRING", FALSE);
821
822 /*
823 * Ensure that all the cut buffers exist - according to the
824 * ICCCM, we must do this before we start using cut buffers.
825 */
826 XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
827 XA_CUT_BUFFER0, XA_STRING, 8, PropModeAppend, "", 0);
828 XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
829 XA_CUT_BUFFER1, XA_STRING, 8, PropModeAppend, "", 0);
830 XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
831 XA_CUT_BUFFER2, XA_STRING, 8, PropModeAppend, "", 0);
832 XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
833 XA_CUT_BUFFER3, XA_STRING, 8, PropModeAppend, "", 0);
834 XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
835 XA_CUT_BUFFER4, XA_STRING, 8, PropModeAppend, "", 0);
836 XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
837 XA_CUT_BUFFER5, XA_STRING, 8, PropModeAppend, "", 0);
838 XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
839 XA_CUT_BUFFER6, XA_STRING, 8, PropModeAppend, "", 0);
840 XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
841 XA_CUT_BUFFER7, XA_STRING, 8, PropModeAppend, "", 0);
842 }
843
844 /* Store data in a cut-buffer. */
845 void store_cutbuffer(char *ptr, int len)
846 {
847 /* ICCCM says we must rotate the buffers before storing to buffer 0. */
848 XRotateBuffers(GDK_DISPLAY(), 1);
849 XStoreBytes(GDK_DISPLAY(), ptr, len);
850 }
851
852 void write_clip(frontend *fe, char *data)
853 {
854 init_paste();
855
856 if (fe->paste_data)
857 sfree(fe->paste_data);
858
859 /*
860 * For this simple application we can safely assume that the
861 * data passed to this function is pure ASCII, which means we
862 * can return precisely the same stuff for types STRING,
863 * COMPOUND_TEXT or UTF8_STRING.
864 */
865
866 fe->paste_data = data;
867 fe->paste_data_len = strlen(data);
868
869 store_cutbuffer(fe->paste_data, fe->paste_data_len);
870
871 if (gtk_selection_owner_set(fe->area, GDK_SELECTION_PRIMARY,
872 CurrentTime)) {
873 gtk_selection_add_target(fe->area, GDK_SELECTION_PRIMARY,
874 GDK_SELECTION_TYPE_STRING, 1);
875 gtk_selection_add_target(fe->area, GDK_SELECTION_PRIMARY,
876 compound_text_atom, 1);
877 gtk_selection_add_target(fe->area, GDK_SELECTION_PRIMARY,
878 utf8_string_atom, 1);
879 }
880 }
881
882 void selection_get(GtkWidget *widget, GtkSelectionData *seldata,
883 guint info, guint time_stamp, gpointer data)
884 {
885 frontend *fe = (frontend *)data;
886 gtk_selection_data_set(seldata, seldata->target, 8,
887 fe->paste_data, fe->paste_data_len);
888 }
889
890 gint selection_clear(GtkWidget *widget, GdkEventSelection *seldata,
891 gpointer data)
892 {
893 frontend *fe = (frontend *)data;
894
895 if (fe->paste_data)
896 sfree(fe->paste_data);
897 fe->paste_data = NULL;
898 fe->paste_data_len = 0;
899 return TRUE;
900 }
901
902 static void menu_copy_event(GtkMenuItem *menuitem, gpointer data)
903 {
904 frontend *fe = (frontend *)data;
905 char *text;
906
907 text = midend_text_format(fe->me);
908
909 if (text) {
910 write_clip(fe, text);
911 } else {
912 gdk_beep();
913 }
914 }
915
916 static void menu_config_event(GtkMenuItem *menuitem, gpointer data)
917 {
918 frontend *fe = (frontend *)data;
919 int which = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
920 "user-data"));
921 int x, y;
922
923 if (!get_config(fe, which))
924 return;
925
926 midend_new_game(fe->me);
927 midend_size(fe->me, &x, &y);
928 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
929 fe->w = x;
930 fe->h = y;
931 }
932
933 static GtkWidget *add_menu_item_with_key(frontend *fe, GtkContainer *cont,
934 char *text, int key)
935 {
936 GtkWidget *menuitem = gtk_menu_item_new_with_label(text);
937 gtk_container_add(cont, menuitem);
938 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
939 GINT_TO_POINTER(key));
940 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
941 GTK_SIGNAL_FUNC(menu_key_event), fe);
942 gtk_widget_show(menuitem);
943 return menuitem;
944 }
945
946 static void add_menu_separator(GtkContainer *cont)
947 {
948 GtkWidget *menuitem = gtk_menu_item_new();
949 gtk_container_add(cont, menuitem);
950 gtk_widget_show(menuitem);
951 }
952
953 static frontend *new_window(char *game_id, char **error)
954 {
955 frontend *fe;
956 GtkBox *vbox;
957 GtkWidget *menubar, *menu, *menuitem;
958 int x, y, n;
959
960 fe = snew(frontend);
961
962 fe->me = midend_new(fe, &thegame);
963 if (game_id) {
964 *error = midend_game_id(fe->me, game_id, FALSE);
965 if (*error) {
966 midend_free(fe->me);
967 sfree(fe);
968 return NULL;
969 }
970 }
971 midend_new_game(fe->me);
972
973 fe->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
974 gtk_window_set_title(GTK_WINDOW(fe->window), thegame.name);
975 #if 0
976 gtk_window_set_resizable(GTK_WINDOW(fe->window), FALSE);
977 #else
978 gtk_window_set_policy(GTK_WINDOW(fe->window), FALSE, FALSE, TRUE);
979 #endif
980 vbox = GTK_BOX(gtk_vbox_new(FALSE, 0));
981 gtk_container_add(GTK_CONTAINER(fe->window), GTK_WIDGET(vbox));
982 gtk_widget_show(GTK_WIDGET(vbox));
983
984 menubar = gtk_menu_bar_new();
985 gtk_box_pack_start(vbox, menubar, FALSE, FALSE, 0);
986 gtk_widget_show(menubar);
987
988 menuitem = gtk_menu_item_new_with_label("Game");
989 gtk_container_add(GTK_CONTAINER(menubar), menuitem);
990 gtk_widget_show(menuitem);
991
992 menu = gtk_menu_new();
993 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), menu);
994
995 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "New", 'n');
996 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Restart", 'r');
997
998 menuitem = gtk_menu_item_new_with_label("Specific...");
999 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
1000 GINT_TO_POINTER(CFG_SEED));
1001 gtk_container_add(GTK_CONTAINER(menu), menuitem);
1002 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1003 GTK_SIGNAL_FUNC(menu_config_event), fe);
1004 gtk_widget_show(menuitem);
1005
1006 if ((n = midend_num_presets(fe->me)) > 0 || thegame.can_configure) {
1007 GtkWidget *submenu;
1008 int i;
1009
1010 menuitem = gtk_menu_item_new_with_label("Type");
1011 gtk_container_add(GTK_CONTAINER(menubar), menuitem);
1012 gtk_widget_show(menuitem);
1013
1014 submenu = gtk_menu_new();
1015 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), submenu);
1016
1017 for (i = 0; i < n; i++) {
1018 char *name;
1019 game_params *params;
1020
1021 midend_fetch_preset(fe->me, i, &name, &params);
1022
1023 menuitem = gtk_menu_item_new_with_label(name);
1024 gtk_container_add(GTK_CONTAINER(submenu), menuitem);
1025 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data", params);
1026 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1027 GTK_SIGNAL_FUNC(menu_preset_event), fe);
1028 gtk_widget_show(menuitem);
1029 }
1030
1031 if (thegame.can_configure) {
1032 menuitem = gtk_menu_item_new_with_label("Custom...");
1033 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
1034 GPOINTER_TO_INT(CFG_SETTINGS));
1035 gtk_container_add(GTK_CONTAINER(submenu), menuitem);
1036 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1037 GTK_SIGNAL_FUNC(menu_config_event), fe);
1038 gtk_widget_show(menuitem);
1039 }
1040 }
1041
1042 add_menu_separator(GTK_CONTAINER(menu));
1043 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Undo", 'u');
1044 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Redo", '\x12');
1045 if (thegame.can_format_as_text) {
1046 add_menu_separator(GTK_CONTAINER(menu));
1047 menuitem = gtk_menu_item_new_with_label("Copy");
1048 gtk_container_add(GTK_CONTAINER(menu), menuitem);
1049 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1050 GTK_SIGNAL_FUNC(menu_copy_event), fe);
1051 gtk_widget_show(menuitem);
1052 }
1053 add_menu_separator(GTK_CONTAINER(menu));
1054 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Exit", 'q');
1055
1056 {
1057 int i, ncolours;
1058 float *colours;
1059 gboolean *success;
1060
1061 fe->colmap = gdk_colormap_get_system();
1062 colours = midend_colours(fe->me, &ncolours);
1063 fe->ncolours = ncolours;
1064 fe->colours = snewn(ncolours, GdkColor);
1065 for (i = 0; i < ncolours; i++) {
1066 fe->colours[i].red = colours[i*3] * 0xFFFF;
1067 fe->colours[i].green = colours[i*3+1] * 0xFFFF;
1068 fe->colours[i].blue = colours[i*3+2] * 0xFFFF;
1069 }
1070 success = snewn(ncolours, gboolean);
1071 gdk_colormap_alloc_colors(fe->colmap, fe->colours, ncolours,
1072 FALSE, FALSE, success);
1073 for (i = 0; i < ncolours; i++) {
1074 if (!success[i])
1075 g_error("couldn't allocate colour %d (#%02x%02x%02x)\n",
1076 i, fe->colours[i].red >> 8,
1077 fe->colours[i].green >> 8,
1078 fe->colours[i].blue >> 8);
1079 }
1080 }
1081
1082 if (midend_wants_statusbar(fe->me)) {
1083 GtkWidget *viewport;
1084 GtkRequisition req;
1085
1086 viewport = gtk_viewport_new(NULL, NULL);
1087 gtk_viewport_set_shadow_type(GTK_VIEWPORT(viewport), GTK_SHADOW_NONE);
1088 fe->statusbar = gtk_statusbar_new();
1089 gtk_container_add(GTK_CONTAINER(viewport), fe->statusbar);
1090 gtk_widget_show(viewport);
1091 gtk_box_pack_end(vbox, viewport, FALSE, FALSE, 0);
1092 gtk_widget_show(fe->statusbar);
1093 fe->statusctx = gtk_statusbar_get_context_id
1094 (GTK_STATUSBAR(fe->statusbar), "game");
1095 gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx,
1096 "test");
1097 gtk_widget_size_request(fe->statusbar, &req);
1098 #if 0
1099 /* For GTK 2.0, should we be using gtk_widget_set_size_request? */
1100 #endif
1101 gtk_widget_set_usize(viewport, -1, req.height);
1102 } else
1103 fe->statusbar = NULL;
1104
1105 fe->area = gtk_drawing_area_new();
1106 midend_size(fe->me, &x, &y);
1107 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
1108 fe->w = x;
1109 fe->h = y;
1110
1111 gtk_box_pack_end(vbox, fe->area, FALSE, FALSE, 0);
1112
1113 fe->pixmap = NULL;
1114 fe->fonts = NULL;
1115 fe->nfonts = fe->fontsize = 0;
1116
1117 fe->timer_active = FALSE;
1118
1119 fe->paste_data = NULL;
1120 fe->paste_data_len = 0;
1121
1122 gtk_signal_connect(GTK_OBJECT(fe->window), "destroy",
1123 GTK_SIGNAL_FUNC(destroy), fe);
1124 gtk_signal_connect(GTK_OBJECT(fe->window), "key_press_event",
1125 GTK_SIGNAL_FUNC(key_event), fe);
1126 gtk_signal_connect(GTK_OBJECT(fe->area), "button_press_event",
1127 GTK_SIGNAL_FUNC(button_event), fe);
1128 gtk_signal_connect(GTK_OBJECT(fe->area), "button_release_event",
1129 GTK_SIGNAL_FUNC(button_event), fe);
1130 gtk_signal_connect(GTK_OBJECT(fe->area), "motion_notify_event",
1131 GTK_SIGNAL_FUNC(motion_event), fe);
1132 gtk_signal_connect(GTK_OBJECT(fe->area), "selection_get",
1133 GTK_SIGNAL_FUNC(selection_get), fe);
1134 gtk_signal_connect(GTK_OBJECT(fe->area), "selection_clear_event",
1135 GTK_SIGNAL_FUNC(selection_clear), fe);
1136 gtk_signal_connect(GTK_OBJECT(fe->area), "expose_event",
1137 GTK_SIGNAL_FUNC(expose_area), fe);
1138 gtk_signal_connect(GTK_OBJECT(fe->window), "map_event",
1139 GTK_SIGNAL_FUNC(map_window), fe);
1140 gtk_signal_connect(GTK_OBJECT(fe->area), "configure_event",
1141 GTK_SIGNAL_FUNC(configure_area), fe);
1142
1143 gtk_widget_add_events(GTK_WIDGET(fe->area),
1144 GDK_BUTTON_PRESS_MASK |
1145 GDK_BUTTON_RELEASE_MASK |
1146 GDK_BUTTON_MOTION_MASK);
1147
1148 gtk_widget_show(fe->area);
1149 gtk_widget_show(fe->window);
1150
1151 return fe;
1152 }
1153
1154 int main(int argc, char **argv)
1155 {
1156 char *pname = argv[0];
1157 char *error;
1158
1159 /*
1160 * Special standalone mode for generating puzzle IDs on the
1161 * command line. Useful for generating puzzles to be printed
1162 * out and solved offline (for puzzles where that even makes
1163 * sense - Solo, for example, is a lot more pencil-and-paper
1164 * friendly than Net!)
1165 *
1166 * Usage:
1167 *
1168 * <puzzle-name> --generate [<n> [<params>]]
1169 *
1170 * <n>, if present, is the number of puzzle IDs to generate.
1171 * <params>, if present, is the same type of parameter string
1172 * you would pass to the puzzle when running it in GUI mode,
1173 * including optional extras such as the expansion factor in
1174 * Rectangles and the difficulty level in Solo.
1175 *
1176 * If you specify <params>, you must also specify <n> (although
1177 * you may specify it to be 1). Sorry; that was the
1178 * simplest-to-parse command-line syntax I came up with.
1179 */
1180 if (argc > 1 && !strcmp(argv[1], "--generate")) {
1181 int n = 1;
1182 char *params = NULL;
1183 game_params *par;
1184 random_state *rs;
1185 char *parstr;
1186
1187 {
1188 void *seed;
1189 int seedlen;
1190 get_random_seed(&seed, &seedlen);
1191 rs = random_init(seed, seedlen);
1192 }
1193
1194 if (argc > 2)
1195 n = atoi(argv[2]);
1196 if (argc > 3)
1197 params = argv[3];
1198
1199 if (params)
1200 par = thegame.decode_params(params);
1201 else
1202 par = thegame.default_params();
1203 parstr = thegame.encode_params(par);
1204
1205 while (n-- > 0) {
1206 game_aux_info *aux = NULL;
1207 char *seed = thegame.new_seed(par, rs, &aux);
1208 printf("%s:%s\n", parstr, seed);
1209 sfree(seed);
1210 if (aux)
1211 thegame.free_aux_info(aux);
1212 }
1213
1214 return 0;
1215 } else {
1216
1217 gtk_init(&argc, &argv);
1218
1219 if (!new_window(argc > 1 ? argv[1] : NULL, &error)) {
1220 fprintf(stderr, "%s: %s\n", pname, error);
1221 return 1;
1222 }
1223
1224 gtk_main();
1225 }
1226
1227 return 0;
1228 }