gtk.c

   1 /*
   2  * gtk.c: GTK front end for my puzzle collection.
   3  */
   4
   5 #include <stdio.h>
   6 #include <stdlib.h>
   7 #include <time.h>
   8 #include <stdarg.h>
   9
  10 #include <gtk/gtk.h>
  11 #include <gdk/gdkkeysyms.h>
  12
  13 #include "puzzles.h"
  14
  15 /* ----------------------------------------------------------------------
  16  * Error reporting functions used elsewhere.
  17  */
  18
  19 void fatal(char *fmt, ...)
  20 {
  21     va_list ap;
  22
  23     fprintf(stderr, "fatal error: ");
  24
  25     va_start(ap, fmt);
  26     vfprintf(stderr, fmt, ap);
  27     va_end(ap);
  28
  29     fprintf(stderr, "\n");
  30     exit(1);
  31 }
  32
  33 /* ----------------------------------------------------------------------
  34  * GTK front end to puzzles.
  35  */
  36
  37 /*
  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.
  43  */
  44 struct frontend {
  45     GtkWidget *window;
  46     GtkWidget *area;
  47     GdkPixmap *pixmap;
  48     GdkColor *colours;
  49     int ncolours;
  50     GdkColormap *colmap;
  51     int w, h;
  52     midend_data *me;
  53     GdkGC *gc;
  54     int bbox_l, bbox_r, bbox_u, bbox_d;
  55     int timer_active;
  56 };
  57
  58 void frontend_default_colour(frontend *fe, float *output)
  59 {
  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;
  64 }
  65
  66 void start_draw(frontend *fe)
  67 {
  68     fe->gc = gdk_gc_new(fe->area->window);
  69     fe->bbox_l = fe->w;
  70     fe->bbox_r = 0;
  71     fe->bbox_u = fe->h;
  72     fe->bbox_d = 0;
  73 }
  74
  75 void draw_rect(frontend *fe, int x, int y, int w, int h, int colour)
  76 {
  77     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
  78     gdk_draw_rectangle(fe->pixmap, fe->gc, 1, x, y, w, h);
  79 }
  80
  81 void draw_line(frontend *fe, int x1, int y1, int x2, int y2, int colour)
  82 {
  83     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
  84     gdk_draw_line(fe->pixmap, fe->gc, x1, y1, x2, y2);
  85 }
  86
  87 void draw_polygon(frontend *fe, int *coords, int npoints,
  88                   int fill, int colour)
  89 {
  90     GdkPoint *points = snewn(npoints, GdkPoint);
  91     int i;
  92
  93     for (i = 0; i < npoints; i++) {
  94         points[i].x = coords[i*2];
  95         points[i].y = coords[i*2+1];
  96     }
  97
  98     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
  99     gdk_draw_polygon(fe->pixmap, fe->gc, fill, points, npoints);
 100
 101     sfree(points);
 102 }
 103
 104 void draw_update(frontend *fe, int x, int y, int w, int h)
 105 {
 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;
 110 }
 111
 112 void end_draw(frontend *fe)
 113 {
 114     gdk_gc_unref(fe->gc);
 115     fe->gc = NULL;
 116
 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)],
 120                         fe->pixmap,
 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);
 124     }
 125 }
 126
 127 static void destroy(GtkWidget *widget, gpointer data)
 128 {
 129     gtk_main_quit();
 130 }
 131
 132 static gint key_event(GtkWidget *widget, GdkEventKey *event, gpointer data)
 133 {
 134     frontend *fe = (frontend *)data;
 135     int keyval;
 136
 137     if (!fe->pixmap)
 138         return TRUE;
 139
 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         keyval = CURSOR_UP;
 144     else if (event->keyval == GDK_Down || event->keyval == GDK_KP_Down)
 145         keyval = CURSOR_DOWN;
 146     else if (event->keyval == GDK_Left || event->keyval == GDK_KP_Left)
 147         keyval = CURSOR_LEFT;
 148     else if (event->keyval == GDK_Right || event->keyval == GDK_KP_Right)
 149         keyval = CURSOR_RIGHT;
 150     else
 151         keyval = -1;
 152
 153     if (keyval >= 0 &&
 154         !midend_process_key(fe->me, 0, 0, keyval))
 155         gtk_widget_destroy(fe->window);
 156
 157     return TRUE;
 158 }
 159
 160 static gint button_event(GtkWidget *widget, GdkEventButton *event,
 161                          gpointer data)
 162 {
 163     frontend *fe = (frontend *)data;
 164     int button;
 165
 166     if (!fe->pixmap)
 167         return TRUE;
 168
 169     if (event->type != GDK_BUTTON_PRESS)
 170         return TRUE;
 171
 172     if (event->button == 1)
 173         button = LEFT_BUTTON;
 174     else if (event->button == 2)
 175         button = MIDDLE_BUTTON;
 176     else if (event->button == 3)
 177         button = RIGHT_BUTTON;
 178     else
 179         return FALSE;                  /* don't even know what button! */
 180
 181     if (!midend_process_key(fe->me, event->x, event->y, button))
 182         gtk_widget_destroy(fe->window);
 183
 184     return TRUE;
 185 }
 186
 187 static gint expose_area(GtkWidget *widget, GdkEventExpose *event,
 188                         gpointer data)
 189 {
 190     frontend *fe = (frontend *)data;
 191
 192     if (fe->pixmap) {
 193         gdk_draw_pixmap(widget->window,
 194                         widget->style->fg_gc[GTK_WIDGET_STATE(widget)],
 195                         fe->pixmap,
 196                         event->area.x, event->area.y,
 197                         event->area.x, event->area.y,
 198                         event->area.width, event->area.height);
 199     }
 200     return TRUE;
 201 }
 202
 203 static gint configure_area(GtkWidget *widget,
 204                            GdkEventConfigure *event, gpointer data)
 205 {
 206     frontend *fe = (frontend *)data;
 207     GdkGC *gc;
 208
 209     if (fe->pixmap)
 210         gdk_pixmap_unref(fe->pixmap);
 211
 212     fe->pixmap = gdk_pixmap_new(widget->window, fe->w, fe->h, -1);
 213
 214     gc = gdk_gc_new(fe->area->window);
 215     gdk_gc_set_foreground(gc, &fe->colours[0]);
 216     gdk_draw_rectangle(fe->pixmap, gc, 1, 0, 0, fe->w, fe->h);
 217     gdk_gc_unref(gc);
 218
 219     midend_redraw(fe->me);
 220
 221     return TRUE;
 222 }
 223
 224 static gint timer_func(gpointer data)
 225 {
 226     frontend *fe = (frontend *)data;
 227
 228     if (fe->timer_active)
 229         midend_timer(fe->me, 0.02);    /* may clear timer_active */
 230
 231     return fe->timer_active;
 232 }
 233
 234 void deactivate_timer(frontend *fe)
 235 {
 236     fe->timer_active = FALSE;
 237 }
 238
 239 void activate_timer(frontend *fe)
 240 {
 241     gtk_timeout_add(20, timer_func, fe);
 242     fe->timer_active = TRUE;
 243 }
 244
 245 static void menu_key_event(GtkMenuItem *menuitem, gpointer data)
 246 {
 247     frontend *fe = (frontend *)data;
 248     int key = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
 249                                                   "user-data"));
 250     if (!midend_process_key(fe->me, 0, 0, key))
 251         gtk_widget_destroy(fe->window);
 252 }
 253
 254 static void menu_preset_event(GtkMenuItem *menuitem, gpointer data)
 255 {
 256     frontend *fe = (frontend *)data;
 257     game_params *params =
 258         (game_params *)gtk_object_get_data(GTK_OBJECT(menuitem), "user-data");
 259     int x, y;
 260
 261     midend_set_params(fe->me, params);
 262     midend_new_game(fe->me, NULL);
 263     midend_size(fe->me, &x, &y);
 264     gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
 265     fe->w = x;
 266     fe->h = y;
 267 }
 268
 269 static GtkWidget *add_menu_item_with_key(frontend *fe, GtkContainer *cont,
 270                                          char *text, int key)
 271 {
 272     GtkWidget *menuitem = gtk_menu_item_new_with_label(text);
 273     gtk_container_add(cont, menuitem);
 274     gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
 275                         GINT_TO_POINTER(key));
 276     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
 277                        GTK_SIGNAL_FUNC(menu_key_event), fe);
 278     gtk_widget_show(menuitem);
 279     return menuitem;
 280 }
 281
 282 static void add_menu_separator(GtkContainer *cont)
 283 {
 284     GtkWidget *menuitem = gtk_menu_item_new();
 285     gtk_container_add(cont, menuitem);
 286     gtk_widget_show(menuitem);
 287 }
 288
 289 static frontend *new_window(void)
 290 {
 291     frontend *fe;
 292     GtkBox *vbox;
 293     GtkWidget *menubar, *menu, *menuitem;
 294     int x, y, n;
 295
 296     fe = snew(frontend);
 297
 298     fe->me = midend_new(fe);
 299     midend_new_game(fe->me, NULL);
 300
 301     fe->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
 302 #if 0
 303     gtk_window_set_resizable(GTK_WINDOW(fe->window), FALSE);
 304 #else
 305     gtk_window_set_policy(GTK_WINDOW(fe->window), FALSE, FALSE, TRUE);
 306 #endif
 307     vbox = GTK_BOX(gtk_vbox_new(FALSE, 0));
 308     gtk_container_add(GTK_CONTAINER(fe->window), GTK_WIDGET(vbox));
 309     gtk_widget_show(GTK_WIDGET(vbox));
 310
 311     menubar = gtk_menu_bar_new();
 312     gtk_box_pack_start(vbox, menubar, FALSE, FALSE, 0);
 313     gtk_widget_show(menubar);
 314
 315     menuitem = gtk_menu_item_new_with_label("Game");
 316     gtk_container_add(GTK_CONTAINER(menubar), menuitem);
 317     gtk_widget_show(menuitem);
 318
 319     menu = gtk_menu_new();
 320     gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), menu);
 321
 322     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "New", 'n');
 323     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Restart", 'r');
 324
 325     if ((n = midend_num_presets(fe->me)) > 0) {
 326         GtkWidget *submenu;
 327         int i;
 328
 329         menuitem = gtk_menu_item_new_with_label("Type");
 330         gtk_container_add(GTK_CONTAINER(menu), menuitem);
 331         gtk_widget_show(menuitem);
 332
 333         submenu = gtk_menu_new();
 334         gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), submenu);
 335
 336         for (i = 0; i < n; i++) {
 337             char *name;
 338             game_params *params;
 339
 340             midend_fetch_preset(fe->me, i, &name, &params);
 341
 342             menuitem = gtk_menu_item_new_with_label(name);
 343             gtk_container_add(GTK_CONTAINER(submenu), menuitem);
 344             gtk_object_set_data(GTK_OBJECT(menuitem), "user-data", params);
 345             gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
 346                                GTK_SIGNAL_FUNC(menu_preset_event), fe);
 347             gtk_widget_show(menuitem);
 348         }
 349     }
 350
 351     add_menu_separator(GTK_CONTAINER(menu));
 352     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Undo", 'u');
 353     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Redo", '\x12');
 354     add_menu_separator(GTK_CONTAINER(menu));
 355     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Exit", 'q');
 356
 357     {
 358         int i, ncolours;
 359         float *colours;
 360         gboolean *success;
 361
 362         fe->colmap = gdk_colormap_get_system();
 363         colours = midend_colours(fe->me, &ncolours);
 364         fe->ncolours = ncolours;
 365         fe->colours = snewn(ncolours, GdkColor);
 366         for (i = 0; i < ncolours; i++) {
 367             fe->colours[i].red = colours[i*3] * 0xFFFF;
 368             fe->colours[i].green = colours[i*3+1] * 0xFFFF;
 369             fe->colours[i].blue = colours[i*3+2] * 0xFFFF;
 370         }
 371         success = snewn(ncolours, gboolean);
 372         gdk_colormap_alloc_colors(fe->colmap, fe->colours, ncolours,
 373                                   FALSE, FALSE, success);
 374         for (i = 0; i < ncolours; i++) {
 375             if (!success[i])
 376                 g_error("couldn't allocate colour %d (#%02x%02x%02x)\n",
 377                         i, fe->colours[i].red >> 8,
 378                         fe->colours[i].green >> 8,
 379                         fe->colours[i].blue >> 8);
 380         }
 381     }
 382
 383     fe->area = gtk_drawing_area_new();
 384     midend_size(fe->me, &x, &y);
 385     gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
 386     fe->w = x;
 387     fe->h = y;
 388
 389     gtk_box_pack_end(vbox, fe->area, FALSE, FALSE, 0);
 390
 391     fe->pixmap = NULL;
 392
 393     gtk_signal_connect(GTK_OBJECT(fe->window), "destroy",
 394                        GTK_SIGNAL_FUNC(destroy), fe);
 395     gtk_signal_connect(GTK_OBJECT(fe->window), "key_press_event",
 396                        GTK_SIGNAL_FUNC(key_event), fe);
 397     gtk_signal_connect(GTK_OBJECT(fe->area), "button_press_event",
 398                        GTK_SIGNAL_FUNC(button_event), fe);
 399     gtk_signal_connect(GTK_OBJECT(fe->area), "expose_event",
 400                        GTK_SIGNAL_FUNC(expose_area), fe);
 401     gtk_signal_connect(GTK_OBJECT(fe->area), "configure_event",
 402                        GTK_SIGNAL_FUNC(configure_area), fe);
 403
 404     gtk_widget_add_events(GTK_WIDGET(fe->area), GDK_BUTTON_PRESS_MASK);
 405
 406     gtk_widget_show(fe->area);
 407     gtk_widget_show(fe->window);
 408
 409     return fe;
 410 }
 411
 412 int main(int argc, char **argv)
 413 {
 414     srand(time(NULL));
 415
 416     gtk_init(&argc, &argv);
 417     (void) new_window();
 418     gtk_main();
 419
 420     return 0;
 421 }