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 frontend_default_colour(frontend *fe, float *output)
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;
84 void status_bar(frontend *fe, char *text)
86 assert(fe->statusbar);
88 gtk_statusbar_pop(GTK_STATUSBAR(fe->statusbar), fe->statusctx);
89 gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx, text);
92 void start_draw(frontend *fe)
94 fe->gc = gdk_gc_new(fe->area->window);
101 void clip(frontend *fe, int x, int y, int w, int h)
110 gdk_gc_set_clip_rectangle(fe->gc, &rect);
113 void unclip(frontend *fe)
122 gdk_gc_set_clip_rectangle(fe->gc, &rect);
125 void draw_text(frontend *fe, int x, int y, int fonttype, int fontsize,
126 int align, int colour, char *text)
131 * Find or create the font.
133 for (i = 0; i < fe->nfonts; i++)
134 if (fe->fonts[i].type == fonttype && fe->fonts[i].size == fontsize)
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);
145 fe->fonts[i].type = fonttype;
146 fe->fonts[i].size = fontsize;
149 * FIXME: Really I should make at least _some_ effort to
150 * pick the correct font.
152 fe->fonts[i].font = gdk_font_load("variable");
156 * Find string dimensions and process alignment.
159 int lb, rb, wid, asc, desc;
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;
166 if (align & ALIGN_HCENTRE)
168 else if (align & ALIGN_HRIGHT)
174 * Set colour and actually draw text.
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);
180 void draw_rect(frontend *fe, int x, int y, int w, int h, int colour)
182 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
183 gdk_draw_rectangle(fe->pixmap, fe->gc, 1, x, y, w, h);
186 void draw_line(frontend *fe, int x1, int y1, int x2, int y2, int colour)
188 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
189 gdk_draw_line(fe->pixmap, fe->gc, x1, y1, x2, y2);
192 void draw_polygon(frontend *fe, int *coords, int npoints,
193 int fill, int colour)
195 GdkPoint *points = snewn(npoints, GdkPoint);
198 for (i = 0; i < npoints; i++) {
199 points[i].x = coords[i*2];
200 points[i].y = coords[i*2+1];
203 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
204 gdk_draw_polygon(fe->pixmap, fe->gc, fill, points, npoints);
209 void draw_update(frontend *fe, int x, int y, int w, int h)
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;
217 void end_draw(frontend *fe)
219 gdk_gc_unref(fe->gc);
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)],
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);
232 static void destroy(GtkWidget *widget, gpointer data)
237 static gint key_event(GtkWidget *widget, GdkEventKey *event, gpointer data)
239 frontend *fe = (frontend *)data;
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)
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;
271 !midend_process_key(fe->me, 0, 0, keyval))
272 gtk_widget_destroy(fe->window);
277 static gint button_event(GtkWidget *widget, GdkEventButton *event,
280 frontend *fe = (frontend *)data;
286 if (event->type != GDK_BUTTON_PRESS && event->type != GDK_BUTTON_RELEASE)
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;
296 return FALSE; /* don't even know what button! */
298 if (event->type == GDK_BUTTON_RELEASE)
299 button += LEFT_RELEASE - LEFT_BUTTON;
301 if (!midend_process_key(fe->me, event->x, event->y, button))
302 gtk_widget_destroy(fe->window);
307 static gint motion_event(GtkWidget *widget, GdkEventMotion *event,
310 frontend *fe = (frontend *)data;
316 if (event->type != GDK_BUTTON_PRESS && event->type != GDK_BUTTON_RELEASE)
319 if (event->state & (GDK_BUTTON2_MASK | GDK_SHIFT_MASK))
320 button = MIDDLE_DRAG;
321 else if (event->state & GDK_BUTTON1_MASK)
323 else if (event->state & GDK_BUTTON3_MASK)
326 return FALSE; /* don't even know what button! */
328 if (!midend_process_key(fe->me, event->x, event->y, button))
329 gtk_widget_destroy(fe->window);
334 static gint expose_area(GtkWidget *widget, GdkEventExpose *event,
337 frontend *fe = (frontend *)data;
340 gdk_draw_pixmap(widget->window,
341 widget->style->fg_gc[GTK_WIDGET_STATE(widget)],
343 event->area.x, event->area.y,
344 event->area.x, event->area.y,
345 event->area.width, event->area.height);
350 static gint map_window(GtkWidget *widget, GdkEvent *event,
353 frontend *fe = (frontend *)data;
356 * Apparently we need to do this because otherwise the status
357 * bar will fail to update immediately. Annoying, but there we
360 gtk_widget_queue_draw(fe->window);
365 static gint configure_area(GtkWidget *widget,
366 GdkEventConfigure *event, gpointer data)
368 frontend *fe = (frontend *)data;
372 gdk_pixmap_unref(fe->pixmap);
374 fe->pixmap = gdk_pixmap_new(widget->window, fe->w, fe->h, -1);
376 gc = gdk_gc_new(fe->area->window);
377 gdk_gc_set_foreground(gc, &fe->colours[0]);
378 gdk_draw_rectangle(fe->pixmap, gc, 1, 0, 0, fe->w, fe->h);
381 midend_redraw(fe->me);
386 static gint timer_func(gpointer data)
388 frontend *fe = (frontend *)data;
390 if (fe->timer_active) {
393 gettimeofday(&now, NULL);
394 elapsed = ((now.tv_usec - fe->last_time.tv_usec) * 0.000001F +
395 (now.tv_sec - fe->last_time.tv_sec));
396 midend_timer(fe->me, elapsed); /* may clear timer_active */
400 return fe->timer_active;
403 void deactivate_timer(frontend *fe)
405 if (fe->timer_active)
406 gtk_timeout_remove(fe->timer_id);
407 fe->timer_active = FALSE;
410 void activate_timer(frontend *fe)
412 if (!fe->timer_active) {
413 fe->timer_id = gtk_timeout_add(20, timer_func, fe);
414 gettimeofday(&fe->last_time, NULL);
416 fe->timer_active = TRUE;
419 static void window_destroy(GtkWidget *widget, gpointer data)
424 static void errmsg_button_clicked(GtkButton *button, gpointer data)
426 gtk_widget_destroy(GTK_WIDGET(data));
429 static int win_key_press(GtkWidget *widget, GdkEventKey *event, gpointer data)
431 GtkObject *cancelbutton = GTK_OBJECT(data);
434 * `Escape' effectively clicks the cancel button
436 if (event->keyval == GDK_Escape) {
437 gtk_signal_emit_by_name(GTK_OBJECT(cancelbutton), "clicked");
444 void error_box(GtkWidget *parent, char *msg)
446 GtkWidget *window, *hbox, *text, *ok;
448 window = gtk_dialog_new();
449 text = gtk_label_new(msg);
450 gtk_misc_set_alignment(GTK_MISC(text), 0.0, 0.0);
451 hbox = gtk_hbox_new(FALSE, 0);
452 gtk_box_pack_start(GTK_BOX(hbox), text, FALSE, FALSE, 20);
453 gtk_box_pack_start(GTK_BOX(GTK_DIALOG(window)->vbox),
454 hbox, FALSE, FALSE, 20);
455 gtk_widget_show(text);
456 gtk_widget_show(hbox);
457 gtk_window_set_title(GTK_WINDOW(window), "Error");
458 gtk_label_set_line_wrap(GTK_LABEL(text), TRUE);
459 ok = gtk_button_new_with_label("OK");
460 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(window)->action_area),
461 ok, FALSE, FALSE, 0);
463 GTK_WIDGET_SET_FLAGS(ok, GTK_CAN_DEFAULT);
464 gtk_window_set_default(GTK_WINDOW(window), ok);
465 gtk_signal_connect(GTK_OBJECT(ok), "clicked",
466 GTK_SIGNAL_FUNC(errmsg_button_clicked), window);
467 gtk_signal_connect(GTK_OBJECT(window), "key_press_event",
468 GTK_SIGNAL_FUNC(win_key_press), ok);
469 gtk_window_set_modal(GTK_WINDOW(window), TRUE);
470 gtk_window_set_transient_for(GTK_WINDOW(window), GTK_WINDOW(parent));
471 //set_transient_window_pos(parent, window);
472 gtk_widget_show(window);
476 static void config_ok_button_clicked(GtkButton *button, gpointer data)
478 frontend *fe = (frontend *)data;
481 err = midend_set_config(fe->me, fe->cfg_which, fe->cfg);
484 error_box(fe->cfgbox, err);
487 gtk_widget_destroy(fe->cfgbox);
491 static void config_cancel_button_clicked(GtkButton *button, gpointer data)
493 frontend *fe = (frontend *)data;
495 gtk_widget_destroy(fe->cfgbox);
498 static int editbox_key(GtkWidget *widget, GdkEventKey *event, gpointer data)
501 * GtkEntry has a nasty habit of eating the Return key, which
502 * is unhelpful since it doesn't actually _do_ anything with it
503 * (it calls gtk_widget_activate, but our edit boxes never need
504 * activating). So I catch Return before GtkEntry sees it, and
505 * pass it straight on to the parent widget. Effect: hitting
506 * Return in an edit box will now activate the default button
507 * in the dialog just like it will everywhere else.
509 if (event->keyval == GDK_Return && widget->parent != NULL) {
511 gtk_signal_emit_stop_by_name(GTK_OBJECT(widget), "key_press_event");
512 gtk_signal_emit_by_name(GTK_OBJECT(widget->parent), "key_press_event",
519 static void editbox_changed(GtkEditable *ed, gpointer data)
521 config_item *i = (config_item *)data;
524 i->sval = dupstr(gtk_entry_get_text(GTK_ENTRY(ed)));
527 static void button_toggled(GtkToggleButton *tb, gpointer data)
529 config_item *i = (config_item *)data;
531 i->ival = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(tb));
534 static void droplist_sel(GtkMenuItem *item, gpointer data)
536 config_item *i = (config_item *)data;
538 i->ival = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(item),
542 static int get_config(frontend *fe, int which)
544 GtkWidget *w, *table, *cancel;
549 fe->cfg = midend_get_config(fe->me, which, &title);
550 fe->cfg_which = which;
553 fe->cfgbox = gtk_dialog_new();
554 gtk_window_set_title(GTK_WINDOW(fe->cfgbox), title);
557 w = gtk_button_new_with_label("OK");
558 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
561 GTK_WIDGET_SET_FLAGS(w, GTK_CAN_DEFAULT);
562 gtk_window_set_default(GTK_WINDOW(fe->cfgbox), w);
563 gtk_signal_connect(GTK_OBJECT(w), "clicked",
564 GTK_SIGNAL_FUNC(config_ok_button_clicked), fe);
566 w = gtk_button_new_with_label("Cancel");
567 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
570 gtk_signal_connect(GTK_OBJECT(w), "clicked",
571 GTK_SIGNAL_FUNC(config_cancel_button_clicked), fe);
574 table = gtk_table_new(1, 2, FALSE);
576 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->vbox),
577 table, FALSE, FALSE, 0);
578 gtk_widget_show(table);
580 for (i = fe->cfg; i->type != C_END; i++) {
581 gtk_table_resize(GTK_TABLE(table), y+1, 2);
586 * Edit box with a label beside it.
589 w = gtk_label_new(i->name);
590 gtk_misc_set_alignment(GTK_MISC(w), 0.0, 0.5);
591 gtk_table_attach(GTK_TABLE(table), w, 0, 1, y, y+1,
592 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
593 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
598 gtk_table_attach(GTK_TABLE(table), w, 1, 2, y, y+1,
599 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
600 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
602 gtk_entry_set_text(GTK_ENTRY(w), i->sval);
603 gtk_signal_connect(GTK_OBJECT(w), "changed",
604 GTK_SIGNAL_FUNC(editbox_changed), i);
605 gtk_signal_connect(GTK_OBJECT(w), "key_press_event",
606 GTK_SIGNAL_FUNC(editbox_key), NULL);
615 w = gtk_check_button_new_with_label(i->name);
616 gtk_signal_connect(GTK_OBJECT(w), "toggled",
617 GTK_SIGNAL_FUNC(button_toggled), i);
618 gtk_table_attach(GTK_TABLE(table), w, 0, 2, y, y+1,
619 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
620 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
622 gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(w), i->ival);
628 * Drop-down list (GtkOptionMenu).
631 w = gtk_label_new(i->name);
632 gtk_misc_set_alignment(GTK_MISC(w), 0.0, 0.5);
633 gtk_table_attach(GTK_TABLE(table), w, 0, 1, y, y+1,
634 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
635 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
639 w = gtk_option_menu_new();
640 gtk_table_attach(GTK_TABLE(table), w, 1, 2, y, y+1,
641 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
642 GTK_EXPAND | GTK_SHRINK | GTK_FILL,
650 GtkWidget *menu = gtk_menu_new();
652 gtk_option_menu_set_menu(GTK_OPTION_MENU(w), menu);
660 while (*q && *q != c)
663 name = snewn(q-p+1, char);
664 strncpy(name, p, q-p);
667 if (*q) q++; /* eat delimiter */
669 menuitem = gtk_menu_item_new_with_label(name);
670 gtk_container_add(GTK_CONTAINER(menu), menuitem);
671 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
672 GINT_TO_POINTER(val));
673 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
674 GTK_SIGNAL_FUNC(droplist_sel), i);
675 gtk_widget_show(menuitem);
682 gtk_option_menu_set_history(GTK_OPTION_MENU(w), i->ival);
691 gtk_signal_connect(GTK_OBJECT(fe->cfgbox), "destroy",
692 GTK_SIGNAL_FUNC(window_destroy), NULL);
693 gtk_signal_connect(GTK_OBJECT(fe->cfgbox), "key_press_event",
694 GTK_SIGNAL_FUNC(win_key_press), cancel);
695 gtk_window_set_modal(GTK_WINDOW(fe->cfgbox), TRUE);
696 gtk_window_set_transient_for(GTK_WINDOW(fe->cfgbox),
697 GTK_WINDOW(fe->window));
698 //set_transient_window_pos(fe->window, fe->cfgbox);
699 gtk_widget_show(fe->cfgbox);
707 static void menu_key_event(GtkMenuItem *menuitem, gpointer data)
709 frontend *fe = (frontend *)data;
710 int key = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
712 if (!midend_process_key(fe->me, 0, 0, key))
713 gtk_widget_destroy(fe->window);
716 static void menu_preset_event(GtkMenuItem *menuitem, gpointer data)
718 frontend *fe = (frontend *)data;
719 game_params *params =
720 (game_params *)gtk_object_get_data(GTK_OBJECT(menuitem), "user-data");
723 midend_set_params(fe->me, params);
724 midend_new_game(fe->me);
725 midend_size(fe->me, &x, &y);
726 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
731 static void menu_config_event(GtkMenuItem *menuitem, gpointer data)
733 frontend *fe = (frontend *)data;
734 int which = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
738 if (!get_config(fe, which))
741 midend_new_game(fe->me);
742 midend_size(fe->me, &x, &y);
743 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
748 static GtkWidget *add_menu_item_with_key(frontend *fe, GtkContainer *cont,
751 GtkWidget *menuitem = gtk_menu_item_new_with_label(text);
752 gtk_container_add(cont, menuitem);
753 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
754 GINT_TO_POINTER(key));
755 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
756 GTK_SIGNAL_FUNC(menu_key_event), fe);
757 gtk_widget_show(menuitem);
761 static void add_menu_separator(GtkContainer *cont)
763 GtkWidget *menuitem = gtk_menu_item_new();
764 gtk_container_add(cont, menuitem);
765 gtk_widget_show(menuitem);
768 static frontend *new_window(void)
772 GtkWidget *menubar, *menu, *menuitem;
779 fe->me = midend_new(fe, &t, sizeof(t));
780 midend_new_game(fe->me);
782 fe->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
783 gtk_window_set_title(GTK_WINDOW(fe->window), game_name);
785 gtk_window_set_resizable(GTK_WINDOW(fe->window), FALSE);
787 gtk_window_set_policy(GTK_WINDOW(fe->window), FALSE, FALSE, TRUE);
789 vbox = GTK_BOX(gtk_vbox_new(FALSE, 0));
790 gtk_container_add(GTK_CONTAINER(fe->window), GTK_WIDGET(vbox));
791 gtk_widget_show(GTK_WIDGET(vbox));
793 menubar = gtk_menu_bar_new();
794 gtk_box_pack_start(vbox, menubar, FALSE, FALSE, 0);
795 gtk_widget_show(menubar);
797 menuitem = gtk_menu_item_new_with_label("Game");
798 gtk_container_add(GTK_CONTAINER(menubar), menuitem);
799 gtk_widget_show(menuitem);
801 menu = gtk_menu_new();
802 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), menu);
804 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "New", 'n');
805 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Restart", 'r');
807 menuitem = gtk_menu_item_new_with_label("Specific...");
808 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
809 GINT_TO_POINTER(CFG_SEED));
810 gtk_container_add(GTK_CONTAINER(menu), menuitem);
811 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
812 GTK_SIGNAL_FUNC(menu_config_event), fe);
813 gtk_widget_show(menuitem);
815 if ((n = midend_num_presets(fe->me)) > 0 || game_can_configure) {
819 menuitem = gtk_menu_item_new_with_label("Type");
820 gtk_container_add(GTK_CONTAINER(menubar), menuitem);
821 gtk_widget_show(menuitem);
823 submenu = gtk_menu_new();
824 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), submenu);
826 for (i = 0; i < n; i++) {
830 midend_fetch_preset(fe->me, i, &name, ¶ms);
832 menuitem = gtk_menu_item_new_with_label(name);
833 gtk_container_add(GTK_CONTAINER(submenu), menuitem);
834 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data", params);
835 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
836 GTK_SIGNAL_FUNC(menu_preset_event), fe);
837 gtk_widget_show(menuitem);
840 if (game_can_configure) {
841 menuitem = gtk_menu_item_new_with_label("Custom...");
842 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
843 GPOINTER_TO_INT(CFG_SETTINGS));
844 gtk_container_add(GTK_CONTAINER(submenu), menuitem);
845 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
846 GTK_SIGNAL_FUNC(menu_config_event), fe);
847 gtk_widget_show(menuitem);
851 add_menu_separator(GTK_CONTAINER(menu));
852 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Undo", 'u');
853 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Redo", '\x12');
854 add_menu_separator(GTK_CONTAINER(menu));
855 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Exit", 'q');
862 fe->colmap = gdk_colormap_get_system();
863 colours = midend_colours(fe->me, &ncolours);
864 fe->ncolours = ncolours;
865 fe->colours = snewn(ncolours, GdkColor);
866 for (i = 0; i < ncolours; i++) {
867 fe->colours[i].red = colours[i*3] * 0xFFFF;
868 fe->colours[i].green = colours[i*3+1] * 0xFFFF;
869 fe->colours[i].blue = colours[i*3+2] * 0xFFFF;
871 success = snewn(ncolours, gboolean);
872 gdk_colormap_alloc_colors(fe->colmap, fe->colours, ncolours,
873 FALSE, FALSE, success);
874 for (i = 0; i < ncolours; i++) {
876 g_error("couldn't allocate colour %d (#%02x%02x%02x)\n",
877 i, fe->colours[i].red >> 8,
878 fe->colours[i].green >> 8,
879 fe->colours[i].blue >> 8);
883 if (midend_wants_statusbar(fe->me)) {
887 viewport = gtk_viewport_new(NULL, NULL);
888 gtk_viewport_set_shadow_type(GTK_VIEWPORT(viewport), GTK_SHADOW_NONE);
889 fe->statusbar = gtk_statusbar_new();
890 gtk_container_add(GTK_CONTAINER(viewport), fe->statusbar);
891 gtk_widget_show(viewport);
892 gtk_box_pack_end(vbox, viewport, FALSE, FALSE, 0);
893 gtk_widget_show(fe->statusbar);
894 fe->statusctx = gtk_statusbar_get_context_id
895 (GTK_STATUSBAR(fe->statusbar), "game");
896 gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx,
898 gtk_widget_size_request(fe->statusbar, &req);
900 /* For GTK 2.0, should we be using gtk_widget_set_size_request? */
902 gtk_widget_set_usize(viewport, -1, req.height);
904 fe->statusbar = NULL;
906 fe->area = gtk_drawing_area_new();
907 midend_size(fe->me, &x, &y);
908 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
912 gtk_box_pack_end(vbox, fe->area, FALSE, FALSE, 0);
916 fe->nfonts = fe->fontsize = 0;
918 fe->timer_active = FALSE;
920 gtk_signal_connect(GTK_OBJECT(fe->window), "destroy",
921 GTK_SIGNAL_FUNC(destroy), fe);
922 gtk_signal_connect(GTK_OBJECT(fe->window), "key_press_event",
923 GTK_SIGNAL_FUNC(key_event), fe);
924 gtk_signal_connect(GTK_OBJECT(fe->area), "button_press_event",
925 GTK_SIGNAL_FUNC(button_event), fe);
926 gtk_signal_connect(GTK_OBJECT(fe->area), "button_release_event",
927 GTK_SIGNAL_FUNC(button_event), fe);
928 gtk_signal_connect(GTK_OBJECT(fe->area), "motion_notify_event",
929 GTK_SIGNAL_FUNC(motion_event), fe);
930 gtk_signal_connect(GTK_OBJECT(fe->area), "expose_event",
931 GTK_SIGNAL_FUNC(expose_area), fe);
932 gtk_signal_connect(GTK_OBJECT(fe->window), "map_event",
933 GTK_SIGNAL_FUNC(map_window), fe);
934 gtk_signal_connect(GTK_OBJECT(fe->area), "configure_event",
935 GTK_SIGNAL_FUNC(configure_area), fe);
937 gtk_widget_add_events(GTK_WIDGET(fe->area),
938 GDK_BUTTON_PRESS_MASK |
939 GDK_BUTTON_RELEASE_MASK |
940 GDK_BUTTON_MOTION_MASK);
942 gtk_widget_show(fe->area);
943 gtk_widget_show(fe->window);
948 int main(int argc, char **argv)
950 gtk_init(&argc, &argv);