2 * gtk.c: GTK front end for my puzzle collection.
15 #include <gdk/gdkkeysyms.h>
19 /* ----------------------------------------------------------------------
20 * Error reporting functions used elsewhere.
23 void fatal(char *fmt, ...)
27 fprintf(stderr, "fatal error: ");
30 vfprintf(stderr, fmt, ap);
33 fprintf(stderr, "\n");
37 /* ----------------------------------------------------------------------
38 * GTK front end to puzzles.
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.
66 int bbox_l, bbox_r, bbox_u, bbox_d;
67 int timer_active, timer_id;
68 struct timeval last_time;
72 int cfg_which, cfgret;
76 void get_random_seed(void **randseed, int *randseedsize)
78 time_t *tp = snew(time_t);
80 *randseed = (void *)tp;
81 *randseedsize = sizeof(time_t);
84 void frontend_default_colour(frontend *fe, float *output)
86 GdkColor col = fe->window->style->bg[GTK_STATE_NORMAL];
87 output[0] = col.red / 65535.0;
88 output[1] = col.green / 65535.0;
89 output[2] = col.blue / 65535.0;
92 void status_bar(frontend *fe, char *text)
94 assert(fe->statusbar);
96 gtk_statusbar_pop(GTK_STATUSBAR(fe->statusbar), fe->statusctx);
97 gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx, text);
100 void start_draw(frontend *fe)
102 fe->gc = gdk_gc_new(fe->area->window);
109 void clip(frontend *fe, int x, int y, int w, int h)
118 gdk_gc_set_clip_rectangle(fe->gc, &rect);
121 void unclip(frontend *fe)
130 gdk_gc_set_clip_rectangle(fe->gc, &rect);
133 void draw_text(frontend *fe, int x, int y, int fonttype, int fontsize,
134 int align, int colour, char *text)
139 * Find or create the font.
141 for (i = 0; i < fe->nfonts; i++)
142 if (fe->fonts[i].type == fonttype && fe->fonts[i].size == fontsize)
145 if (i == fe->nfonts) {
146 if (fe->fontsize <= fe->nfonts) {
147 fe->fontsize = fe->nfonts + 10;
148 fe->fonts = sresize(fe->fonts, fe->fontsize, struct font);
153 fe->fonts[i].type = fonttype;
154 fe->fonts[i].size = fontsize;
157 * FIXME: Really I should make at least _some_ effort to
158 * pick the correct font.
160 fe->fonts[i].font = gdk_font_load("variable");
164 * Find string dimensions and process alignment.
167 int lb, rb, wid, asc, desc;
169 gdk_string_extents(fe->fonts[i].font, text,
170 &lb, &rb, &wid, &asc, &desc);
171 if (align & ALIGN_VCENTRE)
172 y += asc - (asc+desc)/2;
174 if (align & ALIGN_HCENTRE)
176 else if (align & ALIGN_HRIGHT)
182 * Set colour and actually draw text.
184 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
185 gdk_draw_string(fe->pixmap, fe->fonts[i].font, fe->gc, x, y, text);
188 void draw_rect(frontend *fe, int x, int y, int w, int h, int colour)
190 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
191 gdk_draw_rectangle(fe->pixmap, fe->gc, 1, x, y, w, h);
194 void draw_line(frontend *fe, int x1, int y1, int x2, int y2, int colour)
196 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
197 gdk_draw_line(fe->pixmap, fe->gc, x1, y1, x2, y2);
200 void draw_polygon(frontend *fe, int *coords, int npoints,
201 int fill, int colour)
203 GdkPoint *points = snewn(npoints, GdkPoint);
206 for (i = 0; i < npoints; i++) {
207 points[i].x = coords[i*2];
208 points[i].y = coords[i*2+1];
211 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
212 gdk_draw_polygon(fe->pixmap, fe->gc, fill, points, npoints);
217 void draw_update(frontend *fe, int x, int y, int w, int h)
219 if (fe->bbox_l > x ) fe->bbox_l = x ;
220 if (fe->bbox_r < x+w) fe->bbox_r = x+w;
221 if (fe->bbox_u > y ) fe->bbox_u = y ;
222 if (fe->bbox_d < y+h) fe->bbox_d = y+h;
225 void end_draw(frontend *fe)
227 gdk_gc_unref(fe->gc);
230 if (fe->bbox_l < fe->bbox_r && fe->bbox_u < fe->bbox_d) {
231 gdk_draw_pixmap(fe->area->window,
232 fe->area->style->fg_gc[GTK_WIDGET_STATE(fe->area)],
234 fe->bbox_l, fe->bbox_u,
235 fe->bbox_l, fe->bbox_u,
236 fe->bbox_r - fe->bbox_l, fe->bbox_d - fe->bbox_u);
240 static void destroy(GtkWidget *widget, gpointer data)
242 frontend *fe = (frontend *)data;
243 deactivate_timer(fe);
247 static gint key_event(GtkWidget *widget, GdkEventKey *event, gpointer data)
249 frontend *fe = (frontend *)data;
255 if (event->string[0] && !event->string[1])
256 keyval = (unsigned char)event->string[0];
257 else if (event->keyval == GDK_Up || event->keyval == GDK_KP_Up ||
258 event->keyval == GDK_KP_8)
260 else if (event->keyval == GDK_Down || event->keyval == GDK_KP_Down ||
261 event->keyval == GDK_KP_2)
262 keyval = CURSOR_DOWN;
263 else if (event->keyval == GDK_Left || event->keyval == GDK_KP_Left ||
264 event->keyval == GDK_KP_4)
265 keyval = CURSOR_LEFT;
266 else if (event->keyval == GDK_Right || event->keyval == GDK_KP_Right ||
267 event->keyval == GDK_KP_6)
268 keyval = CURSOR_RIGHT;
269 else if (event->keyval == GDK_KP_Home || event->keyval == GDK_KP_7)
270 keyval = CURSOR_UP_LEFT;
271 else if (event->keyval == GDK_KP_End || event->keyval == GDK_KP_1)
272 keyval = CURSOR_DOWN_LEFT;
273 else if (event->keyval == GDK_KP_Page_Up || event->keyval == GDK_KP_9)
274 keyval = CURSOR_UP_RIGHT;
275 else if (event->keyval == GDK_KP_Page_Down || event->keyval == GDK_KP_3)
276 keyval = CURSOR_DOWN_RIGHT;
281 !midend_process_key(fe->me, 0, 0, keyval))
282 gtk_widget_destroy(fe->window);
287 static gint button_event(GtkWidget *widget, GdkEventButton *event,
290 frontend *fe = (frontend *)data;
296 if (event->type != GDK_BUTTON_PRESS && event->type != GDK_BUTTON_RELEASE)
299 if (event->button == 2 || (event->state & GDK_SHIFT_MASK))
300 button = MIDDLE_BUTTON;
301 else if (event->button == 1)
302 button = LEFT_BUTTON;
303 else if (event->button == 3)
304 button = RIGHT_BUTTON;
306 return FALSE; /* don't even know what button! */
308 if (event->type == GDK_BUTTON_RELEASE)
309 button += LEFT_RELEASE - LEFT_BUTTON;
311 if (!midend_process_key(fe->me, event->x, event->y, button))
312 gtk_widget_destroy(fe->window);
317 static gint motion_event(GtkWidget *widget, GdkEventMotion *event,
320 frontend *fe = (frontend *)data;
326 if (event->state & (GDK_BUTTON2_MASK | GDK_SHIFT_MASK))
327 button = MIDDLE_DRAG;
328 else if (event->state & GDK_BUTTON1_MASK)
330 else if (event->state & GDK_BUTTON3_MASK)
333 return FALSE; /* don't even know what button! */
335 if (!midend_process_key(fe->me, event->x, event->y, button))
336 gtk_widget_destroy(fe->window);
341 static gint expose_area(GtkWidget *widget, GdkEventExpose *event,
344 frontend *fe = (frontend *)data;
347 gdk_draw_pixmap(widget->window,
348 widget->style->fg_gc[GTK_WIDGET_STATE(widget)],
350 event->area.x, event->area.y,
351 event->area.x, event->area.y,
352 event->area.width, event->area.height);
357 static gint map_window(GtkWidget *widget, GdkEvent *event,
360 frontend *fe = (frontend *)data;
363 * Apparently we need to do this because otherwise the status
364 * bar will fail to update immediately. Annoying, but there we
367 gtk_widget_queue_draw(fe->window);
372 static gint configure_area(GtkWidget *widget,
373 GdkEventConfigure *event, gpointer data)
375 frontend *fe = (frontend *)data;
379 gdk_pixmap_unref(fe->pixmap);
381 fe->pixmap = gdk_pixmap_new(widget->window, fe->w, fe->h, -1);
383 gc = gdk_gc_new(fe->area->window);
384 gdk_gc_set_foreground(gc, &fe->colours[0]);
385 gdk_draw_rectangle(fe->pixmap, gc, 1, 0, 0, fe->w, fe->h);
388 midend_redraw(fe->me);
393 static gint timer_func(gpointer data)
395 frontend *fe = (frontend *)data;
397 if (fe->timer_active) {
400 gettimeofday(&now, NULL);
401 elapsed = ((now.tv_usec - fe->last_time.tv_usec) * 0.000001F +
402 (now.tv_sec - fe->last_time.tv_sec));
403 midend_timer(fe->me, elapsed); /* may clear timer_active */
407 return fe->timer_active;
410 void deactivate_timer(frontend *fe)
412 if (fe->timer_active)
413 gtk_timeout_remove(fe->timer_id);
414 fe->timer_active = FALSE;
417 void activate_timer(frontend *fe)
419 if (!fe->timer_active) {
420 fe->timer_id = gtk_timeout_add(20, timer_func, fe);
421 gettimeofday(&fe->last_time, NULL);
423 fe->timer_active = TRUE;
426 static void window_destroy(GtkWidget *widget, gpointer data)
431 static void errmsg_button_clicked(GtkButton *button, gpointer data)
433 gtk_widget_destroy(GTK_WIDGET(data));
436 static int win_key_press(GtkWidget *widget, GdkEventKey *event, gpointer data)
438 GtkObject *cancelbutton = GTK_OBJECT(data);
441 * `Escape' effectively clicks the cancel button
443 if (event->keyval == GDK_Escape) {
444 gtk_signal_emit_by_name(GTK_OBJECT(cancelbutton), "clicked");
451 void error_box(GtkWidget *parent, char *msg)
453 GtkWidget *window, *hbox, *text, *ok;
455 window = gtk_dialog_new();
456 text = gtk_label_new(msg);
457 gtk_misc_set_alignment(GTK_MISC(text), 0.0, 0.0);
458 hbox = gtk_hbox_new(FALSE, 0);
459 gtk_box_pack_start(GTK_BOX(hbox), text, FALSE, FALSE, 20);
460 gtk_box_pack_start(GTK_BOX(GTK_DIALOG(window)->vbox),
461 hbox, FALSE, FALSE, 20);
462 gtk_widget_show(text);
463 gtk_widget_show(hbox);
464 gtk_window_set_title(GTK_WINDOW(window), "Error");
465 gtk_label_set_line_wrap(GTK_LABEL(text), TRUE);
466 ok = gtk_button_new_with_label("OK");
467 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(window)->action_area),
468 ok, FALSE, FALSE, 0);
470 GTK_WIDGET_SET_FLAGS(ok, GTK_CAN_DEFAULT);
471 gtk_window_set_default(GTK_WINDOW(window), ok);
472 gtk_signal_connect(GTK_OBJECT(ok), "clicked",
473 GTK_SIGNAL_FUNC(errmsg_button_clicked), window);
474 gtk_signal_connect(GTK_OBJECT(window), "destroy",
475 GTK_SIGNAL_FUNC(window_destroy), NULL);
476 gtk_signal_connect(GTK_OBJECT(window), "key_press_event",
477 GTK_SIGNAL_FUNC(win_key_press), ok);
478 gtk_window_set_modal(GTK_WINDOW(window), TRUE);
479 gtk_window_set_transient_for(GTK_WINDOW(window), GTK_WINDOW(parent));
480 //set_transient_window_pos(parent, window);
481 gtk_widget_show(window);
485 static void config_ok_button_clicked(GtkButton *button, gpointer data)
487 frontend *fe = (frontend *)data;
490 err = midend_set_config(fe->me, fe->cfg_which, fe->cfg);
493 error_box(fe->cfgbox, err);
496 gtk_widget_destroy(fe->cfgbox);
500 static void config_cancel_button_clicked(GtkButton *button, gpointer data)
502 frontend *fe = (frontend *)data;
504 gtk_widget_destroy(fe->cfgbox);
507 static int editbox_key(GtkWidget *widget, GdkEventKey *event, gpointer data)
510 * GtkEntry has a nasty habit of eating the Return key, which
511 * is unhelpful since it doesn't actually _do_ anything with it
512 * (it calls gtk_widget_activate, but our edit boxes never need
513 * activating). So I catch Return before GtkEntry sees it, and
514 * pass it straight on to the parent widget. Effect: hitting
515 * Return in an edit box will now activate the default button
516 * in the dialog just like it will everywhere else.
518 if (event->keyval == GDK_Return && widget->parent != NULL) {
520 gtk_signal_emit_stop_by_name(GTK_OBJECT(widget), "key_press_event");
521 gtk_signal_emit_by_name(GTK_OBJECT(widget->parent), "key_press_event",
528 static void editbox_changed(GtkEditable *ed, gpointer data)
530 config_item *i = (config_item *)data;
533 i->sval = dupstr(gtk_entry_get_text(GTK_ENTRY(ed)));
536 static void button_toggled(GtkToggleButton *tb, gpointer data)
538 config_item *i = (config_item *)data;
540 i->ival = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(tb));
543 static void droplist_sel(GtkMenuItem *item, gpointer data)
545 config_item *i = (config_item *)data;
547 i->ival = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(item),
551 static int get_config(frontend *fe, int which)
553 GtkWidget *w, *table, *cancel;
558 fe->cfg = midend_get_config(fe->me, which, &title);
559 fe->cfg_which = which;
562 fe->cfgbox = gtk_dialog_new();
563 gtk_window_set_title(GTK_WINDOW(fe->cfgbox), title);
566 w = gtk_button_new_with_label("OK");
567 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
570 GTK_WIDGET_SET_FLAGS(w, GTK_CAN_DEFAULT);
571 gtk_window_set_default(GTK_WINDOW(fe->cfgbox), w);
572 gtk_signal_connect(GTK_OBJECT(w), "clicked",
573 GTK_SIGNAL_FUNC(config_ok_button_clicked), fe);
575 w = gtk_button_new_with_label("Cancel");
576 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
579 gtk_signal_connect(GTK_OBJECT(w), "clicked",
580 GTK_SIGNAL_FUNC(config_cancel_button_clicked), fe);
583 table = gtk_table_new(1, 2, FALSE);
585 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->vbox),
586 table, FALSE, FALSE, 0);
587 gtk_widget_show(table);
589 for (i = fe->cfg; i->type != C_END; i++) {
590 gtk_table_resize(GTK_TABLE(table), y+1, 2);
595 * Edit box with a label beside it.
598 w = gtk_label_new(i->name);
599 gtk_misc_set_alignment(GTK_MISC(w), 0.0, 0.5);
600 gtk_table_attach(GTK_TABLE(table), w, 0, 1, y, y+1,
601 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
602 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
607 gtk_table_attach(GTK_TABLE(table), w, 1, 2, y, y+1,
608 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
609 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
611 gtk_entry_set_text(GTK_ENTRY(w), i->sval);
612 gtk_signal_connect(GTK_OBJECT(w), "changed",
613 GTK_SIGNAL_FUNC(editbox_changed), i);
614 gtk_signal_connect(GTK_OBJECT(w), "key_press_event",
615 GTK_SIGNAL_FUNC(editbox_key), NULL);
624 w = gtk_check_button_new_with_label(i->name);
625 gtk_signal_connect(GTK_OBJECT(w), "toggled",
626 GTK_SIGNAL_FUNC(button_toggled), i);
627 gtk_table_attach(GTK_TABLE(table), w, 0, 2, y, y+1,
628 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
629 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
631 gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(w), i->ival);
637 * Drop-down list (GtkOptionMenu).
640 w = gtk_label_new(i->name);
641 gtk_misc_set_alignment(GTK_MISC(w), 0.0, 0.5);
642 gtk_table_attach(GTK_TABLE(table), w, 0, 1, y, y+1,
643 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
644 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
648 w = gtk_option_menu_new();
649 gtk_table_attach(GTK_TABLE(table), w, 1, 2, y, y+1,
650 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
651 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
659 GtkWidget *menu = gtk_menu_new();
661 gtk_option_menu_set_menu(GTK_OPTION_MENU(w), menu);
669 while (*q && *q != c)
672 name = snewn(q-p+1, char);
673 strncpy(name, p, q-p);
676 if (*q) q++; /* eat delimiter */
678 menuitem = gtk_menu_item_new_with_label(name);
679 gtk_container_add(GTK_CONTAINER(menu), menuitem);
680 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
681 GINT_TO_POINTER(val));
682 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
683 GTK_SIGNAL_FUNC(droplist_sel), i);
684 gtk_widget_show(menuitem);
691 gtk_option_menu_set_history(GTK_OPTION_MENU(w), i->ival);
700 gtk_signal_connect(GTK_OBJECT(fe->cfgbox), "destroy",
701 GTK_SIGNAL_FUNC(window_destroy), NULL);
702 gtk_signal_connect(GTK_OBJECT(fe->cfgbox), "key_press_event",
703 GTK_SIGNAL_FUNC(win_key_press), cancel);
704 gtk_window_set_modal(GTK_WINDOW(fe->cfgbox), TRUE);
705 gtk_window_set_transient_for(GTK_WINDOW(fe->cfgbox),
706 GTK_WINDOW(fe->window));
707 //set_transient_window_pos(fe->window, fe->cfgbox);
708 gtk_widget_show(fe->cfgbox);
716 static void menu_key_event(GtkMenuItem *menuitem, gpointer data)
718 frontend *fe = (frontend *)data;
719 int key = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
721 if (!midend_process_key(fe->me, 0, 0, key))
722 gtk_widget_destroy(fe->window);
725 static void menu_preset_event(GtkMenuItem *menuitem, gpointer data)
727 frontend *fe = (frontend *)data;
728 game_params *params =
729 (game_params *)gtk_object_get_data(GTK_OBJECT(menuitem), "user-data");
732 midend_set_params(fe->me, params);
733 midend_new_game(fe->me);
734 midend_size(fe->me, &x, &y);
735 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
740 static void menu_config_event(GtkMenuItem *menuitem, gpointer data)
742 frontend *fe = (frontend *)data;
743 int which = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
747 if (!get_config(fe, which))
750 midend_new_game(fe->me);
751 midend_size(fe->me, &x, &y);
752 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
757 static GtkWidget *add_menu_item_with_key(frontend *fe, GtkContainer *cont,
760 GtkWidget *menuitem = gtk_menu_item_new_with_label(text);
761 gtk_container_add(cont, menuitem);
762 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
763 GINT_TO_POINTER(key));
764 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
765 GTK_SIGNAL_FUNC(menu_key_event), fe);
766 gtk_widget_show(menuitem);
770 static void add_menu_separator(GtkContainer *cont)
772 GtkWidget *menuitem = gtk_menu_item_new();
773 gtk_container_add(cont, menuitem);
774 gtk_widget_show(menuitem);
777 static frontend *new_window(char *game_id, char **error)
781 GtkWidget *menubar, *menu, *menuitem;
786 fe->me = midend_new(fe, &thegame);
788 *error = midend_game_id(fe->me, game_id, FALSE);
795 midend_new_game(fe->me);
797 fe->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
798 gtk_window_set_title(GTK_WINDOW(fe->window), thegame.name);
800 gtk_window_set_resizable(GTK_WINDOW(fe->window), FALSE);
802 gtk_window_set_policy(GTK_WINDOW(fe->window), FALSE, FALSE, TRUE);
804 vbox = GTK_BOX(gtk_vbox_new(FALSE, 0));
805 gtk_container_add(GTK_CONTAINER(fe->window), GTK_WIDGET(vbox));
806 gtk_widget_show(GTK_WIDGET(vbox));
808 menubar = gtk_menu_bar_new();
809 gtk_box_pack_start(vbox, menubar, FALSE, FALSE, 0);
810 gtk_widget_show(menubar);
812 menuitem = gtk_menu_item_new_with_label("Game");
813 gtk_container_add(GTK_CONTAINER(menubar), menuitem);
814 gtk_widget_show(menuitem);
816 menu = gtk_menu_new();
817 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), menu);
819 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "New", 'n');
820 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Restart", 'r');
822 menuitem = gtk_menu_item_new_with_label("Specific...");
823 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
824 GINT_TO_POINTER(CFG_SEED));
825 gtk_container_add(GTK_CONTAINER(menu), menuitem);
826 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
827 GTK_SIGNAL_FUNC(menu_config_event), fe);
828 gtk_widget_show(menuitem);
830 if ((n = midend_num_presets(fe->me)) > 0 || thegame.can_configure) {
834 menuitem = gtk_menu_item_new_with_label("Type");
835 gtk_container_add(GTK_CONTAINER(menubar), menuitem);
836 gtk_widget_show(menuitem);
838 submenu = gtk_menu_new();
839 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), submenu);
841 for (i = 0; i < n; i++) {
845 midend_fetch_preset(fe->me, i, &name, ¶ms);
847 menuitem = gtk_menu_item_new_with_label(name);
848 gtk_container_add(GTK_CONTAINER(submenu), menuitem);
849 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data", params);
850 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
851 GTK_SIGNAL_FUNC(menu_preset_event), fe);
852 gtk_widget_show(menuitem);
855 if (thegame.can_configure) {
856 menuitem = gtk_menu_item_new_with_label("Custom...");
857 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
858 GPOINTER_TO_INT(CFG_SETTINGS));
859 gtk_container_add(GTK_CONTAINER(submenu), menuitem);
860 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
861 GTK_SIGNAL_FUNC(menu_config_event), fe);
862 gtk_widget_show(menuitem);
866 add_menu_separator(GTK_CONTAINER(menu));
867 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Undo", 'u');
868 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Redo", '\x12');
869 add_menu_separator(GTK_CONTAINER(menu));
870 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Exit", 'q');
877 fe->colmap = gdk_colormap_get_system();
878 colours = midend_colours(fe->me, &ncolours);
879 fe->ncolours = ncolours;
880 fe->colours = snewn(ncolours, GdkColor);
881 for (i = 0; i < ncolours; i++) {
882 fe->colours[i].red = colours[i*3] * 0xFFFF;
883 fe->colours[i].green = colours[i*3+1] * 0xFFFF;
884 fe->colours[i].blue = colours[i*3+2] * 0xFFFF;
886 success = snewn(ncolours, gboolean);
887 gdk_colormap_alloc_colors(fe->colmap, fe->colours, ncolours,
888 FALSE, FALSE, success);
889 for (i = 0; i < ncolours; i++) {
891 g_error("couldn't allocate colour %d (#%02x%02x%02x)\n",
892 i, fe->colours[i].red >> 8,
893 fe->colours[i].green >> 8,
894 fe->colours[i].blue >> 8);
898 if (midend_wants_statusbar(fe->me)) {
902 viewport = gtk_viewport_new(NULL, NULL);
903 gtk_viewport_set_shadow_type(GTK_VIEWPORT(viewport), GTK_SHADOW_NONE);
904 fe->statusbar = gtk_statusbar_new();
905 gtk_container_add(GTK_CONTAINER(viewport), fe->statusbar);
906 gtk_widget_show(viewport);
907 gtk_box_pack_end(vbox, viewport, FALSE, FALSE, 0);
908 gtk_widget_show(fe->statusbar);
909 fe->statusctx = gtk_statusbar_get_context_id
910 (GTK_STATUSBAR(fe->statusbar), "game");
911 gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx,
913 gtk_widget_size_request(fe->statusbar, &req);
915 /* For GTK 2.0, should we be using gtk_widget_set_size_request? */
917 gtk_widget_set_usize(viewport, -1, req.height);
919 fe->statusbar = NULL;
921 fe->area = gtk_drawing_area_new();
922 midend_size(fe->me, &x, &y);
923 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
927 gtk_box_pack_end(vbox, fe->area, FALSE, FALSE, 0);
931 fe->nfonts = fe->fontsize = 0;
933 fe->timer_active = FALSE;
935 gtk_signal_connect(GTK_OBJECT(fe->window), "destroy",
936 GTK_SIGNAL_FUNC(destroy), fe);
937 gtk_signal_connect(GTK_OBJECT(fe->window), "key_press_event",
938 GTK_SIGNAL_FUNC(key_event), fe);
939 gtk_signal_connect(GTK_OBJECT(fe->area), "button_press_event",
940 GTK_SIGNAL_FUNC(button_event), fe);
941 gtk_signal_connect(GTK_OBJECT(fe->area), "button_release_event",
942 GTK_SIGNAL_FUNC(button_event), fe);
943 gtk_signal_connect(GTK_OBJECT(fe->area), "motion_notify_event",
944 GTK_SIGNAL_FUNC(motion_event), fe);
945 gtk_signal_connect(GTK_OBJECT(fe->area), "expose_event",
946 GTK_SIGNAL_FUNC(expose_area), fe);
947 gtk_signal_connect(GTK_OBJECT(fe->window), "map_event",
948 GTK_SIGNAL_FUNC(map_window), fe);
949 gtk_signal_connect(GTK_OBJECT(fe->area), "configure_event",
950 GTK_SIGNAL_FUNC(configure_area), fe);
952 gtk_widget_add_events(GTK_WIDGET(fe->area),
953 GDK_BUTTON_PRESS_MASK |
954 GDK_BUTTON_RELEASE_MASK |
955 GDK_BUTTON_MOTION_MASK);
957 gtk_widget_show(fe->area);
958 gtk_widget_show(fe->window);
963 int main(int argc, char **argv)
965 char *pname = argv[0];
968 gtk_init(&argc, &argv);
970 if (!new_window(argc > 1 ? argv[1] : NULL, &error)) {
971 fprintf(stderr, "%s: %s\n", pname, error);