2 * gtk.c: GTK front end for my puzzle collection.
11 #include <gdk/gdkkeysyms.h>
15 /* ----------------------------------------------------------------------
16 * Error reporting functions used elsewhere.
19 void fatal(char *fmt, ...)
23 fprintf(stderr, "fatal error: ");
26 vfprintf(stderr, fmt, ap);
29 fprintf(stderr, "\n");
33 /* ----------------------------------------------------------------------
34 * GTK front end to puzzles.
38 * This structure holds all the data relevant to a single window.
39 * In principle this would allow us to open multiple independent
40 * puzzle windows, although I can't currently see any real point in
41 * doing so. I'm just coding cleanly because there's no
42 * particularly good reason not to.
54 int bbox_l, bbox_r, bbox_u, bbox_d;
55 int timer_active, timer_id;
58 void frontend_default_colour(frontend *fe, float *output)
60 GdkColor col = fe->window->style->bg[GTK_STATE_NORMAL];
61 output[0] = col.red / 65535.0;
62 output[1] = col.green / 65535.0;
63 output[2] = col.blue / 65535.0;
66 void start_draw(frontend *fe)
68 fe->gc = gdk_gc_new(fe->area->window);
75 void draw_rect(frontend *fe, int x, int y, int w, int h, int colour)
77 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
78 gdk_draw_rectangle(fe->pixmap, fe->gc, 1, x, y, w, h);
81 void draw_line(frontend *fe, int x1, int y1, int x2, int y2, int colour)
83 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
84 gdk_draw_line(fe->pixmap, fe->gc, x1, y1, x2, y2);
87 void draw_polygon(frontend *fe, int *coords, int npoints,
90 GdkPoint *points = snewn(npoints, GdkPoint);
93 for (i = 0; i < npoints; i++) {
94 points[i].x = coords[i*2];
95 points[i].y = coords[i*2+1];
98 gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
99 gdk_draw_polygon(fe->pixmap, fe->gc, fill, points, npoints);
104 void draw_update(frontend *fe, int x, int y, int w, int h)
106 if (fe->bbox_l > x ) fe->bbox_l = x ;
107 if (fe->bbox_r < x+w) fe->bbox_r = x+w;
108 if (fe->bbox_u > y ) fe->bbox_u = y ;
109 if (fe->bbox_d < y+h) fe->bbox_d = y+h;
112 void end_draw(frontend *fe)
114 gdk_gc_unref(fe->gc);
117 if (fe->bbox_l < fe->bbox_r && fe->bbox_u < fe->bbox_d) {
118 gdk_draw_pixmap(fe->area->window,
119 fe->area->style->fg_gc[GTK_WIDGET_STATE(fe->area)],
121 fe->bbox_l, fe->bbox_u,
122 fe->bbox_l, fe->bbox_u,
123 fe->bbox_r - fe->bbox_l, fe->bbox_d - fe->bbox_u);
127 static void destroy(GtkWidget *widget, gpointer data)
132 static gint key_event(GtkWidget *widget, GdkEventKey *event, gpointer data)
134 frontend *fe = (frontend *)data;
140 if (event->string[0] && !event->string[1])
141 keyval = (unsigned char)event->string[0];
142 else if (event->keyval == GDK_Up || event->keyval == GDK_KP_Up ||
143 event->keyval == GDK_KP_8)
145 else if (event->keyval == GDK_Down || event->keyval == GDK_KP_Down ||
146 event->keyval == GDK_KP_2)
147 keyval = CURSOR_DOWN;
148 else if (event->keyval == GDK_Left || event->keyval == GDK_KP_Left ||
149 event->keyval == GDK_KP_4)
150 keyval = CURSOR_LEFT;
151 else if (event->keyval == GDK_Right || event->keyval == GDK_KP_Right ||
152 event->keyval == GDK_KP_6)
153 keyval = CURSOR_RIGHT;
154 else if (event->keyval == GDK_KP_Home || event->keyval == GDK_KP_7)
155 keyval = CURSOR_UP_LEFT;
156 else if (event->keyval == GDK_KP_End || event->keyval == GDK_KP_1)
157 keyval = CURSOR_DOWN_LEFT;
158 else if (event->keyval == GDK_KP_Page_Up || event->keyval == GDK_KP_9)
159 keyval = CURSOR_UP_RIGHT;
160 else if (event->keyval == GDK_KP_Page_Down || event->keyval == GDK_KP_3)
161 keyval = CURSOR_DOWN_RIGHT;
166 !midend_process_key(fe->me, 0, 0, keyval))
167 gtk_widget_destroy(fe->window);
172 static gint button_event(GtkWidget *widget, GdkEventButton *event,
175 frontend *fe = (frontend *)data;
181 if (event->type != GDK_BUTTON_PRESS)
184 if (event->button == 2 || (event->state & GDK_SHIFT_MASK))
185 button = MIDDLE_BUTTON;
186 else if (event->button == 1)
187 button = LEFT_BUTTON;
188 else if (event->button == 3)
189 button = RIGHT_BUTTON;
191 return FALSE; /* don't even know what button! */
193 if (!midend_process_key(fe->me, event->x, event->y, button))
194 gtk_widget_destroy(fe->window);
199 static gint expose_area(GtkWidget *widget, GdkEventExpose *event,
202 frontend *fe = (frontend *)data;
205 gdk_draw_pixmap(widget->window,
206 widget->style->fg_gc[GTK_WIDGET_STATE(widget)],
208 event->area.x, event->area.y,
209 event->area.x, event->area.y,
210 event->area.width, event->area.height);
215 static gint configure_area(GtkWidget *widget,
216 GdkEventConfigure *event, gpointer data)
218 frontend *fe = (frontend *)data;
222 gdk_pixmap_unref(fe->pixmap);
224 fe->pixmap = gdk_pixmap_new(widget->window, fe->w, fe->h, -1);
226 gc = gdk_gc_new(fe->area->window);
227 gdk_gc_set_foreground(gc, &fe->colours[0]);
228 gdk_draw_rectangle(fe->pixmap, gc, 1, 0, 0, fe->w, fe->h);
231 midend_redraw(fe->me);
236 static gint timer_func(gpointer data)
238 frontend *fe = (frontend *)data;
240 if (fe->timer_active)
241 midend_timer(fe->me, 0.02); /* may clear timer_active */
243 return fe->timer_active;
246 void deactivate_timer(frontend *fe)
248 if (fe->timer_active)
249 gtk_timeout_remove(fe->timer_id);
250 fe->timer_active = FALSE;
253 void activate_timer(frontend *fe)
255 if (!fe->timer_active)
256 fe->timer_id = gtk_timeout_add(20, timer_func, fe);
257 fe->timer_active = TRUE;
260 static void menu_key_event(GtkMenuItem *menuitem, gpointer data)
262 frontend *fe = (frontend *)data;
263 int key = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
265 if (!midend_process_key(fe->me, 0, 0, key))
266 gtk_widget_destroy(fe->window);
269 static void menu_preset_event(GtkMenuItem *menuitem, gpointer data)
271 frontend *fe = (frontend *)data;
272 game_params *params =
273 (game_params *)gtk_object_get_data(GTK_OBJECT(menuitem), "user-data");
276 midend_set_params(fe->me, params);
277 midend_new_game(fe->me, NULL);
278 midend_size(fe->me, &x, &y);
279 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
284 static GtkWidget *add_menu_item_with_key(frontend *fe, GtkContainer *cont,
287 GtkWidget *menuitem = gtk_menu_item_new_with_label(text);
288 gtk_container_add(cont, menuitem);
289 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
290 GINT_TO_POINTER(key));
291 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
292 GTK_SIGNAL_FUNC(menu_key_event), fe);
293 gtk_widget_show(menuitem);
297 static void add_menu_separator(GtkContainer *cont)
299 GtkWidget *menuitem = gtk_menu_item_new();
300 gtk_container_add(cont, menuitem);
301 gtk_widget_show(menuitem);
304 static frontend *new_window(void)
308 GtkWidget *menubar, *menu, *menuitem;
313 fe->me = midend_new(fe);
314 midend_new_game(fe->me, NULL);
316 fe->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
318 gtk_window_set_resizable(GTK_WINDOW(fe->window), FALSE);
320 gtk_window_set_policy(GTK_WINDOW(fe->window), FALSE, FALSE, TRUE);
322 vbox = GTK_BOX(gtk_vbox_new(FALSE, 0));
323 gtk_container_add(GTK_CONTAINER(fe->window), GTK_WIDGET(vbox));
324 gtk_widget_show(GTK_WIDGET(vbox));
326 menubar = gtk_menu_bar_new();
327 gtk_box_pack_start(vbox, menubar, FALSE, FALSE, 0);
328 gtk_widget_show(menubar);
330 menuitem = gtk_menu_item_new_with_label("Game");
331 gtk_container_add(GTK_CONTAINER(menubar), menuitem);
332 gtk_widget_show(menuitem);
334 menu = gtk_menu_new();
335 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), menu);
337 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "New", 'n');
338 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Restart", 'r');
340 if ((n = midend_num_presets(fe->me)) > 0) {
344 menuitem = gtk_menu_item_new_with_label("Type");
345 gtk_container_add(GTK_CONTAINER(menu), menuitem);
346 gtk_widget_show(menuitem);
348 submenu = gtk_menu_new();
349 gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), submenu);
351 for (i = 0; i < n; i++) {
355 midend_fetch_preset(fe->me, i, &name, ¶ms);
357 menuitem = gtk_menu_item_new_with_label(name);
358 gtk_container_add(GTK_CONTAINER(submenu), menuitem);
359 gtk_object_set_data(GTK_OBJECT(menuitem), "user-data", params);
360 gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
361 GTK_SIGNAL_FUNC(menu_preset_event), fe);
362 gtk_widget_show(menuitem);
366 add_menu_separator(GTK_CONTAINER(menu));
367 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Undo", 'u');
368 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Redo", '\x12');
369 add_menu_separator(GTK_CONTAINER(menu));
370 add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Exit", 'q');
377 fe->colmap = gdk_colormap_get_system();
378 colours = midend_colours(fe->me, &ncolours);
379 fe->ncolours = ncolours;
380 fe->colours = snewn(ncolours, GdkColor);
381 for (i = 0; i < ncolours; i++) {
382 fe->colours[i].red = colours[i*3] * 0xFFFF;
383 fe->colours[i].green = colours[i*3+1] * 0xFFFF;
384 fe->colours[i].blue = colours[i*3+2] * 0xFFFF;
386 success = snewn(ncolours, gboolean);
387 gdk_colormap_alloc_colors(fe->colmap, fe->colours, ncolours,
388 FALSE, FALSE, success);
389 for (i = 0; i < ncolours; i++) {
391 g_error("couldn't allocate colour %d (#%02x%02x%02x)\n",
392 i, fe->colours[i].red >> 8,
393 fe->colours[i].green >> 8,
394 fe->colours[i].blue >> 8);
398 fe->area = gtk_drawing_area_new();
399 midend_size(fe->me, &x, &y);
400 gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
404 gtk_box_pack_end(vbox, fe->area, FALSE, FALSE, 0);
408 fe->timer_active = FALSE;
410 gtk_signal_connect(GTK_OBJECT(fe->window), "destroy",
411 GTK_SIGNAL_FUNC(destroy), fe);
412 gtk_signal_connect(GTK_OBJECT(fe->window), "key_press_event",
413 GTK_SIGNAL_FUNC(key_event), fe);
414 gtk_signal_connect(GTK_OBJECT(fe->area), "button_press_event",
415 GTK_SIGNAL_FUNC(button_event), fe);
416 gtk_signal_connect(GTK_OBJECT(fe->area), "expose_event",
417 GTK_SIGNAL_FUNC(expose_area), fe);
418 gtk_signal_connect(GTK_OBJECT(fe->area), "configure_event",
419 GTK_SIGNAL_FUNC(configure_area), fe);
421 gtk_widget_add_events(GTK_WIDGET(fe->area), GDK_BUTTON_PRESS_MASK);
423 gtk_widget_show(fe->area);
424 gtk_widget_show(fe->window);
429 int main(int argc, char **argv)
433 gtk_init(&argc, &argv);