2 * gtk.c: GTK front end for my puzzle collection.
13 #include <gdk/gdkkeysyms.h>
17 /* ----------------------------------------------------------------------
18 * Error reporting functions used elsewhere.
21 void fatal(char *fmt
, ...)
25 fprintf(stderr
, "fatal error: ");
28 vfprintf(stderr
, fmt
, ap
);
31 fprintf(stderr
, "\n");
35 /* ----------------------------------------------------------------------
36 * GTK front end to puzzles.
46 * This structure holds all the data relevant to a single window.
47 * In principle this would allow us to open multiple independent
48 * puzzle windows, although I can't currently see any real point in
49 * doing so. I'm just coding cleanly because there's no
50 * particularly good reason not to.
64 int bbox_l
, bbox_r
, bbox_u
, bbox_d
;
65 int timer_active
, timer_id
;
69 int cfg_which
, cfgret
;
73 void frontend_default_colour(frontend
*fe
, float *output
)
75 GdkColor col
= fe
->window
->style
->bg
[GTK_STATE_NORMAL
];
76 output
[0] = col
.red
/ 65535.0;
77 output
[1] = col
.green
/ 65535.0;
78 output
[2] = col
.blue
/ 65535.0;
81 void status_bar(frontend
*fe
, char *text
)
83 assert(fe
->statusbar
);
85 gtk_statusbar_pop(GTK_STATUSBAR(fe
->statusbar
), fe
->statusctx
);
86 gtk_statusbar_push(GTK_STATUSBAR(fe
->statusbar
), fe
->statusctx
, text
);
89 void start_draw(frontend
*fe
)
91 fe
->gc
= gdk_gc_new(fe
->area
->window
);
98 void clip(frontend
*fe
, int x
, int y
, int w
, int h
)
107 gdk_gc_set_clip_rectangle(fe
->gc
, &rect
);
110 void unclip(frontend
*fe
)
119 gdk_gc_set_clip_rectangle(fe
->gc
, &rect
);
122 void draw_text(frontend
*fe
, int x
, int y
, int fonttype
, int fontsize
,
123 int align
, int colour
, char *text
)
128 * Find or create the font.
130 for (i
= 0; i
< fe
->nfonts
; i
++)
131 if (fe
->fonts
[i
].type
== fonttype
&& fe
->fonts
[i
].size
== fontsize
)
134 if (i
== fe
->nfonts
) {
135 if (fe
->fontsize
<= fe
->nfonts
) {
136 fe
->fontsize
= fe
->nfonts
+ 10;
137 fe
->fonts
= sresize(fe
->fonts
, fe
->fontsize
, struct font
);
142 fe
->fonts
[i
].type
= fonttype
;
143 fe
->fonts
[i
].size
= fontsize
;
146 * FIXME: Really I should make at least _some_ effort to
147 * pick the correct font.
149 fe
->fonts
[i
].font
= gdk_font_load("variable");
153 * Find string dimensions and process alignment.
156 int lb
, rb
, wid
, asc
, desc
;
158 gdk_string_extents(fe
->fonts
[i
].font
, text
,
159 &lb
, &rb
, &wid
, &asc
, &desc
);
160 if (align
& ALIGN_VCENTRE
)
161 y
+= asc
- (asc
+desc
)/2;
163 if (align
& ALIGN_HCENTRE
)
165 else if (align
& ALIGN_HRIGHT
)
171 * Set colour and actually draw text.
173 gdk_gc_set_foreground(fe
->gc
, &fe
->colours
[colour
]);
174 gdk_draw_string(fe
->pixmap
, fe
->fonts
[i
].font
, fe
->gc
, x
, y
, text
);
177 void draw_rect(frontend
*fe
, int x
, int y
, int w
, int h
, int colour
)
179 gdk_gc_set_foreground(fe
->gc
, &fe
->colours
[colour
]);
180 gdk_draw_rectangle(fe
->pixmap
, fe
->gc
, 1, x
, y
, w
, h
);
183 void draw_line(frontend
*fe
, int x1
, int y1
, int x2
, int y2
, int colour
)
185 gdk_gc_set_foreground(fe
->gc
, &fe
->colours
[colour
]);
186 gdk_draw_line(fe
->pixmap
, fe
->gc
, x1
, y1
, x2
, y2
);
189 void draw_polygon(frontend
*fe
, int *coords
, int npoints
,
190 int fill
, int colour
)
192 GdkPoint
*points
= snewn(npoints
, GdkPoint
);
195 for (i
= 0; i
< npoints
; i
++) {
196 points
[i
].x
= coords
[i
*2];
197 points
[i
].y
= coords
[i
*2+1];
200 gdk_gc_set_foreground(fe
->gc
, &fe
->colours
[colour
]);
201 gdk_draw_polygon(fe
->pixmap
, fe
->gc
, fill
, points
, npoints
);
206 void draw_update(frontend
*fe
, int x
, int y
, int w
, int h
)
208 if (fe
->bbox_l
> x
) fe
->bbox_l
= x
;
209 if (fe
->bbox_r
< x
+w
) fe
->bbox_r
= x
+w
;
210 if (fe
->bbox_u
> y
) fe
->bbox_u
= y
;
211 if (fe
->bbox_d
< y
+h
) fe
->bbox_d
= y
+h
;
214 void end_draw(frontend
*fe
)
216 gdk_gc_unref(fe
->gc
);
219 if (fe
->bbox_l
< fe
->bbox_r
&& fe
->bbox_u
< fe
->bbox_d
) {
220 gdk_draw_pixmap(fe
->area
->window
,
221 fe
->area
->style
->fg_gc
[GTK_WIDGET_STATE(fe
->area
)],
223 fe
->bbox_l
, fe
->bbox_u
,
224 fe
->bbox_l
, fe
->bbox_u
,
225 fe
->bbox_r
- fe
->bbox_l
, fe
->bbox_d
- fe
->bbox_u
);
229 static void destroy(GtkWidget
*widget
, gpointer data
)
234 static gint
key_event(GtkWidget
*widget
, GdkEventKey
*event
, gpointer data
)
236 frontend
*fe
= (frontend
*)data
;
242 if (event
->string
[0] && !event
->string
[1])
243 keyval
= (unsigned char)event
->string
[0];
244 else if (event
->keyval
== GDK_Up
|| event
->keyval
== GDK_KP_Up
||
245 event
->keyval
== GDK_KP_8
)
247 else if (event
->keyval
== GDK_Down
|| event
->keyval
== GDK_KP_Down
||
248 event
->keyval
== GDK_KP_2
)
249 keyval
= CURSOR_DOWN
;
250 else if (event
->keyval
== GDK_Left
|| event
->keyval
== GDK_KP_Left
||
251 event
->keyval
== GDK_KP_4
)
252 keyval
= CURSOR_LEFT
;
253 else if (event
->keyval
== GDK_Right
|| event
->keyval
== GDK_KP_Right
||
254 event
->keyval
== GDK_KP_6
)
255 keyval
= CURSOR_RIGHT
;
256 else if (event
->keyval
== GDK_KP_Home
|| event
->keyval
== GDK_KP_7
)
257 keyval
= CURSOR_UP_LEFT
;
258 else if (event
->keyval
== GDK_KP_End
|| event
->keyval
== GDK_KP_1
)
259 keyval
= CURSOR_DOWN_LEFT
;
260 else if (event
->keyval
== GDK_KP_Page_Up
|| event
->keyval
== GDK_KP_9
)
261 keyval
= CURSOR_UP_RIGHT
;
262 else if (event
->keyval
== GDK_KP_Page_Down
|| event
->keyval
== GDK_KP_3
)
263 keyval
= CURSOR_DOWN_RIGHT
;
268 !midend_process_key(fe
->me
, 0, 0, keyval
))
269 gtk_widget_destroy(fe
->window
);
274 static gint
button_event(GtkWidget
*widget
, GdkEventButton
*event
,
277 frontend
*fe
= (frontend
*)data
;
283 if (event
->type
!= GDK_BUTTON_PRESS
)
286 if (event
->button
== 2 || (event
->state
& GDK_SHIFT_MASK
))
287 button
= MIDDLE_BUTTON
;
288 else if (event
->button
== 1)
289 button
= LEFT_BUTTON
;
290 else if (event
->button
== 3)
291 button
= RIGHT_BUTTON
;
293 return FALSE
; /* don't even know what button! */
295 if (!midend_process_key(fe
->me
, event
->x
, event
->y
, button
))
296 gtk_widget_destroy(fe
->window
);
301 static gint
expose_area(GtkWidget
*widget
, GdkEventExpose
*event
,
304 frontend
*fe
= (frontend
*)data
;
307 gdk_draw_pixmap(widget
->window
,
308 widget
->style
->fg_gc
[GTK_WIDGET_STATE(widget
)],
310 event
->area
.x
, event
->area
.y
,
311 event
->area
.x
, event
->area
.y
,
312 event
->area
.width
, event
->area
.height
);
317 static gint
map_window(GtkWidget
*widget
, GdkEvent
*event
,
320 frontend
*fe
= (frontend
*)data
;
323 * Apparently we need to do this because otherwise the status
324 * bar will fail to update immediately. Annoying, but there we
327 gtk_widget_queue_draw(fe
->window
);
332 static gint
configure_area(GtkWidget
*widget
,
333 GdkEventConfigure
*event
, gpointer data
)
335 frontend
*fe
= (frontend
*)data
;
339 gdk_pixmap_unref(fe
->pixmap
);
341 fe
->pixmap
= gdk_pixmap_new(widget
->window
, fe
->w
, fe
->h
, -1);
343 gc
= gdk_gc_new(fe
->area
->window
);
344 gdk_gc_set_foreground(gc
, &fe
->colours
[0]);
345 gdk_draw_rectangle(fe
->pixmap
, gc
, 1, 0, 0, fe
->w
, fe
->h
);
348 midend_redraw(fe
->me
);
353 static gint
timer_func(gpointer data
)
355 frontend
*fe
= (frontend
*)data
;
357 if (fe
->timer_active
)
358 midend_timer(fe
->me
, 0.02); /* may clear timer_active */
360 return fe
->timer_active
;
363 void deactivate_timer(frontend
*fe
)
365 if (fe
->timer_active
)
366 gtk_timeout_remove(fe
->timer_id
);
367 fe
->timer_active
= FALSE
;
370 void activate_timer(frontend
*fe
)
372 if (!fe
->timer_active
)
373 fe
->timer_id
= gtk_timeout_add(20, timer_func
, fe
);
374 fe
->timer_active
= TRUE
;
377 static void window_destroy(GtkWidget
*widget
, gpointer data
)
382 static void errmsg_button_clicked(GtkButton
*button
, gpointer data
)
384 gtk_widget_destroy(GTK_WIDGET(data
));
387 void error_box(GtkWidget
*parent
, char *msg
)
389 GtkWidget
*window
, *hbox
, *text
, *ok
;
391 window
= gtk_dialog_new();
392 text
= gtk_label_new(msg
);
393 gtk_misc_set_alignment(GTK_MISC(text
), 0.0, 0.0);
394 hbox
= gtk_hbox_new(FALSE
, 0);
395 gtk_box_pack_start(GTK_BOX(hbox
), text
, FALSE
, FALSE
, 20);
396 gtk_box_pack_start(GTK_BOX(GTK_DIALOG(window
)->vbox
),
397 hbox
, FALSE
, FALSE
, 20);
398 gtk_widget_show(text
);
399 gtk_widget_show(hbox
);
400 gtk_window_set_title(GTK_WINDOW(window
), "Error");
401 gtk_label_set_line_wrap(GTK_LABEL(text
), TRUE
);
402 ok
= gtk_button_new_with_label("OK");
403 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(window
)->action_area
),
404 ok
, FALSE
, FALSE
, 0);
406 GTK_WIDGET_SET_FLAGS(ok
, GTK_CAN_DEFAULT
);
407 gtk_window_set_default(GTK_WINDOW(window
), ok
);
408 gtk_signal_connect(GTK_OBJECT(ok
), "clicked",
409 GTK_SIGNAL_FUNC(errmsg_button_clicked
), window
);
410 gtk_signal_connect(GTK_OBJECT(window
), "destroy",
411 GTK_SIGNAL_FUNC(window_destroy
), NULL
);
412 gtk_window_set_modal(GTK_WINDOW(window
), TRUE
);
413 gtk_window_set_transient_for(GTK_WINDOW(window
), GTK_WINDOW(parent
));
414 //set_transient_window_pos(parent, window);
415 gtk_widget_show(window
);
419 static void config_ok_button_clicked(GtkButton
*button
, gpointer data
)
421 frontend
*fe
= (frontend
*)data
;
424 err
= midend_set_config(fe
->me
, fe
->cfg_which
, fe
->cfg
);
427 error_box(fe
->cfgbox
, err
);
430 gtk_widget_destroy(fe
->cfgbox
);
434 static void config_cancel_button_clicked(GtkButton
*button
, gpointer data
)
436 frontend
*fe
= (frontend
*)data
;
438 gtk_widget_destroy(fe
->cfgbox
);
441 static void editbox_changed(GtkEditable
*ed
, gpointer data
)
443 config_item
*i
= (config_item
*)data
;
446 i
->sval
= dupstr(gtk_entry_get_text(GTK_ENTRY(ed
)));
449 static void button_toggled(GtkToggleButton
*tb
, gpointer data
)
451 config_item
*i
= (config_item
*)data
;
453 i
->ival
= gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(tb
));
456 static void droplist_sel(GtkMenuItem
*item
, gpointer data
)
458 config_item
*i
= (config_item
*)data
;
460 i
->ival
= GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(item
),
464 static int get_config(frontend
*fe
, int which
)
466 GtkWidget
*w
, *table
;
471 fe
->cfg
= midend_get_config(fe
->me
, which
, &title
);
472 fe
->cfg_which
= which
;
475 fe
->cfgbox
= gtk_dialog_new();
476 gtk_window_set_title(GTK_WINDOW(fe
->cfgbox
), title
);
479 w
= gtk_button_new_with_label("OK");
480 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe
->cfgbox
)->action_area
),
483 GTK_WIDGET_SET_FLAGS(w
, GTK_CAN_DEFAULT
);
484 gtk_window_set_default(GTK_WINDOW(fe
->cfgbox
), w
);
485 gtk_signal_connect(GTK_OBJECT(w
), "clicked",
486 GTK_SIGNAL_FUNC(config_ok_button_clicked
), fe
);
488 w
= gtk_button_new_with_label("Cancel");
489 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe
->cfgbox
)->action_area
),
492 gtk_signal_connect(GTK_OBJECT(w
), "clicked",
493 GTK_SIGNAL_FUNC(config_cancel_button_clicked
), fe
);
495 table
= gtk_table_new(1, 2, FALSE
);
497 gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe
->cfgbox
)->vbox
),
498 table
, FALSE
, FALSE
, 0);
499 gtk_widget_show(table
);
501 for (i
= fe
->cfg
; i
->type
!= C_END
; i
++) {
502 gtk_table_resize(GTK_TABLE(table
), y
+1, 2);
507 * Edit box with a label beside it.
510 w
= gtk_label_new(i
->name
);
511 gtk_misc_set_alignment(GTK_MISC(w
), 0.0, 0.5);
512 gtk_table_attach(GTK_TABLE(table
), w
, 0, 1, y
, y
+1,
513 GTK_EXPAND
| GTK_SHRINK
| GTK_FILL
,
514 GTK_EXPAND
| GTK_SHRINK
| GTK_FILL
,
519 gtk_table_attach(GTK_TABLE(table
), w
, 1, 2, y
, y
+1,
520 GTK_EXPAND
| GTK_SHRINK
| GTK_FILL
,
521 GTK_EXPAND
| GTK_SHRINK
| GTK_FILL
,
523 gtk_entry_set_text(GTK_ENTRY(w
), i
->sval
);
524 gtk_signal_connect(GTK_OBJECT(w
), "changed",
525 GTK_SIGNAL_FUNC(editbox_changed
), i
);
534 w
= gtk_check_button_new_with_label(i
->name
);
535 gtk_signal_connect(GTK_OBJECT(w
), "toggled",
536 GTK_SIGNAL_FUNC(button_toggled
), i
);
537 gtk_table_attach(GTK_TABLE(table
), w
, 0, 2, y
, y
+1,
538 GTK_EXPAND
| GTK_SHRINK
| GTK_FILL
,
539 GTK_EXPAND
| GTK_SHRINK
| GTK_FILL
,
541 gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(w
), i
->ival
);
547 * Drop-down list (GtkOptionMenu).
550 w
= gtk_label_new(i
->name
);
551 gtk_misc_set_alignment(GTK_MISC(w
), 0.0, 0.5);
552 gtk_table_attach(GTK_TABLE(table
), w
, 0, 1, y
, y
+1,
553 GTK_EXPAND
| GTK_SHRINK
| GTK_FILL
,
554 GTK_EXPAND
| GTK_SHRINK
| GTK_FILL
,
558 w
= gtk_option_menu_new();
559 gtk_table_attach(GTK_TABLE(table
), w
, 1, 2, y
, y
+1,
560 GTK_EXPAND
| GTK_SHRINK
| GTK_FILL
,
561 GTK_EXPAND
| GTK_SHRINK
| GTK_FILL
,
569 GtkWidget
*menu
= gtk_menu_new();
571 gtk_option_menu_set_menu(GTK_OPTION_MENU(w
), menu
);
579 while (*q
&& *q
!= c
)
582 name
= snewn(q
-p
+1, char);
583 strncpy(name
, p
, q
-p
);
586 if (*q
) q
++; /* eat delimiter */
588 menuitem
= gtk_menu_item_new_with_label(name
);
589 gtk_container_add(GTK_CONTAINER(menu
), menuitem
);
590 gtk_object_set_data(GTK_OBJECT(menuitem
), "user-data",
591 GINT_TO_POINTER(val
));
592 gtk_signal_connect(GTK_OBJECT(menuitem
), "activate",
593 GTK_SIGNAL_FUNC(droplist_sel
), i
);
594 gtk_widget_show(menuitem
);
601 gtk_option_menu_set_history(GTK_OPTION_MENU(w
), i
->ival
);
610 gtk_signal_connect(GTK_OBJECT(fe
->cfgbox
), "destroy",
611 GTK_SIGNAL_FUNC(window_destroy
), NULL
);
612 gtk_window_set_modal(GTK_WINDOW(fe
->cfgbox
), TRUE
);
613 gtk_window_set_transient_for(GTK_WINDOW(fe
->cfgbox
),
614 GTK_WINDOW(fe
->window
));
615 //set_transient_window_pos(fe->window, fe->cfgbox);
616 gtk_widget_show(fe
->cfgbox
);
624 static void menu_key_event(GtkMenuItem
*menuitem
, gpointer data
)
626 frontend
*fe
= (frontend
*)data
;
627 int key
= GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem
),
629 if (!midend_process_key(fe
->me
, 0, 0, key
))
630 gtk_widget_destroy(fe
->window
);
633 static void menu_preset_event(GtkMenuItem
*menuitem
, gpointer data
)
635 frontend
*fe
= (frontend
*)data
;
636 game_params
*params
=
637 (game_params
*)gtk_object_get_data(GTK_OBJECT(menuitem
), "user-data");
640 midend_set_params(fe
->me
, params
);
641 midend_new_game(fe
->me
);
642 midend_size(fe
->me
, &x
, &y
);
643 gtk_drawing_area_size(GTK_DRAWING_AREA(fe
->area
), x
, y
);
648 static void menu_config_event(GtkMenuItem
*menuitem
, gpointer data
)
650 frontend
*fe
= (frontend
*)data
;
651 int which
= GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem
),
655 if (!get_config(fe
, which
))
658 midend_new_game(fe
->me
);
659 midend_size(fe
->me
, &x
, &y
);
660 gtk_drawing_area_size(GTK_DRAWING_AREA(fe
->area
), x
, y
);
665 static GtkWidget
*add_menu_item_with_key(frontend
*fe
, GtkContainer
*cont
,
668 GtkWidget
*menuitem
= gtk_menu_item_new_with_label(text
);
669 gtk_container_add(cont
, menuitem
);
670 gtk_object_set_data(GTK_OBJECT(menuitem
), "user-data",
671 GINT_TO_POINTER(key
));
672 gtk_signal_connect(GTK_OBJECT(menuitem
), "activate",
673 GTK_SIGNAL_FUNC(menu_key_event
), fe
);
674 gtk_widget_show(menuitem
);
678 static void add_menu_separator(GtkContainer
*cont
)
680 GtkWidget
*menuitem
= gtk_menu_item_new();
681 gtk_container_add(cont
, menuitem
);
682 gtk_widget_show(menuitem
);
685 static frontend
*new_window(void)
689 GtkWidget
*menubar
, *menu
, *menuitem
;
694 fe
->me
= midend_new(fe
);
695 midend_new_game(fe
->me
);
697 fe
->window
= gtk_window_new(GTK_WINDOW_TOPLEVEL
);
698 gtk_window_set_title(GTK_WINDOW(fe
->window
), game_name
);
700 gtk_window_set_resizable(GTK_WINDOW(fe
->window
), FALSE
);
702 gtk_window_set_policy(GTK_WINDOW(fe
->window
), FALSE
, FALSE
, TRUE
);
704 vbox
= GTK_BOX(gtk_vbox_new(FALSE
, 0));
705 gtk_container_add(GTK_CONTAINER(fe
->window
), GTK_WIDGET(vbox
));
706 gtk_widget_show(GTK_WIDGET(vbox
));
708 menubar
= gtk_menu_bar_new();
709 gtk_box_pack_start(vbox
, menubar
, FALSE
, FALSE
, 0);
710 gtk_widget_show(menubar
);
712 menuitem
= gtk_menu_item_new_with_label("Game");
713 gtk_container_add(GTK_CONTAINER(menubar
), menuitem
);
714 gtk_widget_show(menuitem
);
716 menu
= gtk_menu_new();
717 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem
), menu
);
719 add_menu_item_with_key(fe
, GTK_CONTAINER(menu
), "New", 'n');
720 add_menu_item_with_key(fe
, GTK_CONTAINER(menu
), "Restart", 'r');
722 menuitem
= gtk_menu_item_new_with_label("Specific...");
723 gtk_object_set_data(GTK_OBJECT(menuitem
), "user-data",
724 GINT_TO_POINTER(CFG_SEED
));
725 gtk_container_add(GTK_CONTAINER(menu
), menuitem
);
726 gtk_signal_connect(GTK_OBJECT(menuitem
), "activate",
727 GTK_SIGNAL_FUNC(menu_config_event
), fe
);
728 gtk_widget_show(menuitem
);
730 if ((n
= midend_num_presets(fe
->me
)) > 0 || game_can_configure
) {
734 menuitem
= gtk_menu_item_new_with_label("Type");
735 gtk_container_add(GTK_CONTAINER(menubar
), menuitem
);
736 gtk_widget_show(menuitem
);
738 submenu
= gtk_menu_new();
739 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem
), submenu
);
741 for (i
= 0; i
< n
; i
++) {
745 midend_fetch_preset(fe
->me
, i
, &name
, ¶ms
);
747 menuitem
= gtk_menu_item_new_with_label(name
);
748 gtk_container_add(GTK_CONTAINER(submenu
), menuitem
);
749 gtk_object_set_data(GTK_OBJECT(menuitem
), "user-data", params
);
750 gtk_signal_connect(GTK_OBJECT(menuitem
), "activate",
751 GTK_SIGNAL_FUNC(menu_preset_event
), fe
);
752 gtk_widget_show(menuitem
);
755 if (game_can_configure
) {
756 menuitem
= gtk_menu_item_new_with_label("Custom...");
757 gtk_object_set_data(GTK_OBJECT(menuitem
), "user-data",
758 GPOINTER_TO_INT(CFG_SETTINGS
));
759 gtk_container_add(GTK_CONTAINER(submenu
), menuitem
);
760 gtk_signal_connect(GTK_OBJECT(menuitem
), "activate",
761 GTK_SIGNAL_FUNC(menu_config_event
), fe
);
762 gtk_widget_show(menuitem
);
766 add_menu_separator(GTK_CONTAINER(menu
));
767 add_menu_item_with_key(fe
, GTK_CONTAINER(menu
), "Undo", 'u');
768 add_menu_item_with_key(fe
, GTK_CONTAINER(menu
), "Redo", '\x12');
769 add_menu_separator(GTK_CONTAINER(menu
));
770 add_menu_item_with_key(fe
, GTK_CONTAINER(menu
), "Exit", 'q');
777 fe
->colmap
= gdk_colormap_get_system();
778 colours
= midend_colours(fe
->me
, &ncolours
);
779 fe
->ncolours
= ncolours
;
780 fe
->colours
= snewn(ncolours
, GdkColor
);
781 for (i
= 0; i
< ncolours
; i
++) {
782 fe
->colours
[i
].red
= colours
[i
*3] * 0xFFFF;
783 fe
->colours
[i
].green
= colours
[i
*3+1] * 0xFFFF;
784 fe
->colours
[i
].blue
= colours
[i
*3+2] * 0xFFFF;
786 success
= snewn(ncolours
, gboolean
);
787 gdk_colormap_alloc_colors(fe
->colmap
, fe
->colours
, ncolours
,
788 FALSE
, FALSE
, success
);
789 for (i
= 0; i
< ncolours
; i
++) {
791 g_error("couldn't allocate colour %d (#%02x%02x%02x)\n",
792 i
, fe
->colours
[i
].red
>> 8,
793 fe
->colours
[i
].green
>> 8,
794 fe
->colours
[i
].blue
>> 8);
798 if (midend_wants_statusbar(fe
->me
)) {
802 viewport
= gtk_viewport_new(NULL
, NULL
);
803 gtk_viewport_set_shadow_type(GTK_VIEWPORT(viewport
), GTK_SHADOW_NONE
);
804 fe
->statusbar
= gtk_statusbar_new();
805 gtk_container_add(GTK_CONTAINER(viewport
), fe
->statusbar
);
806 gtk_widget_show(viewport
);
807 gtk_box_pack_end(vbox
, viewport
, FALSE
, FALSE
, 0);
808 gtk_widget_show(fe
->statusbar
);
809 fe
->statusctx
= gtk_statusbar_get_context_id
810 (GTK_STATUSBAR(fe
->statusbar
), "game");
811 gtk_statusbar_push(GTK_STATUSBAR(fe
->statusbar
), fe
->statusctx
,
813 gtk_widget_size_request(fe
->statusbar
, &req
);
815 /* For GTK 2.0, should we be using gtk_widget_set_size_request? */
817 gtk_widget_set_usize(viewport
, x
, req
.height
);
819 fe
->statusbar
= NULL
;
821 fe
->area
= gtk_drawing_area_new();
822 midend_size(fe
->me
, &x
, &y
);
823 gtk_drawing_area_size(GTK_DRAWING_AREA(fe
->area
), x
, y
);
827 gtk_box_pack_end(vbox
, fe
->area
, FALSE
, FALSE
, 0);
831 fe
->nfonts
= fe
->fontsize
= 0;
833 fe
->timer_active
= FALSE
;
835 gtk_signal_connect(GTK_OBJECT(fe
->window
), "destroy",
836 GTK_SIGNAL_FUNC(destroy
), fe
);
837 gtk_signal_connect(GTK_OBJECT(fe
->window
), "key_press_event",
838 GTK_SIGNAL_FUNC(key_event
), fe
);
839 gtk_signal_connect(GTK_OBJECT(fe
->area
), "button_press_event",
840 GTK_SIGNAL_FUNC(button_event
), fe
);
841 gtk_signal_connect(GTK_OBJECT(fe
->area
), "expose_event",
842 GTK_SIGNAL_FUNC(expose_area
), fe
);
843 gtk_signal_connect(GTK_OBJECT(fe
->window
), "map_event",
844 GTK_SIGNAL_FUNC(map_window
), fe
);
845 gtk_signal_connect(GTK_OBJECT(fe
->area
), "configure_event",
846 GTK_SIGNAL_FUNC(configure_area
), fe
);
848 gtk_widget_add_events(GTK_WIDGET(fe
->area
), GDK_BUTTON_PRESS_MASK
);
850 gtk_widget_show(fe
->area
);
851 gtk_widget_show(fe
->window
);
856 int main(int argc
, char **argv
)
860 gtk_init(&argc
, &argv
);