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, timer_id;
  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     if (fe->timer_active)
 237         gtk_timeout_remove(fe->timer_id);
 238     fe->timer_active = FALSE;
 239 }
 240
 241 void activate_timer(frontend *fe)
 242 {
 243     if (!fe->timer_active)
 244         fe->timer_id = gtk_timeout_add(20, timer_func, fe);
 245     fe->timer_active = TRUE;
 246 }
 247
 248 static void menu_key_event(GtkMenuItem *menuitem, gpointer data)
 249 {
 250     frontend *fe = (frontend *)data;
 251     int key = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
 252                                                   "user-data"));
 253     if (!midend_process_key(fe->me, 0, 0, key))
 254         gtk_widget_destroy(fe->window);
 255 }
 256
 257 static void menu_preset_event(GtkMenuItem *menuitem, gpointer data)
 258 {
 259     frontend *fe = (frontend *)data;
 260     game_params *params =
 261         (game_params *)gtk_object_get_data(GTK_OBJECT(menuitem), "user-data");
 262     int x, y;
 263
 264     midend_set_params(fe->me, params);
 265     midend_new_game(fe->me, NULL);
 266     midend_size(fe->me, &x, &y);
 267     gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
 268     fe->w = x;
 269     fe->h = y;
 270 }
 271
 272 static GtkWidget *add_menu_item_with_key(frontend *fe, GtkContainer *cont,
 273                                          char *text, int key)
 274 {
 275     GtkWidget *menuitem = gtk_menu_item_new_with_label(text);
 276     gtk_container_add(cont, menuitem);
 277     gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
 278                         GINT_TO_POINTER(key));
 279     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
 280                        GTK_SIGNAL_FUNC(menu_key_event), fe);
 281     gtk_widget_show(menuitem);
 282     return menuitem;
 283 }
 284
 285 static void add_menu_separator(GtkContainer *cont)
 286 {
 287     GtkWidget *menuitem = gtk_menu_item_new();
 288     gtk_container_add(cont, menuitem);
 289     gtk_widget_show(menuitem);
 290 }
 291
 292 static frontend *new_window(void)
 293 {
 294     frontend *fe;
 295     GtkBox *vbox;
 296     GtkWidget *menubar, *menu, *menuitem;
 297     int x, y, n;
 298
 299     fe = snew(frontend);
 300
 301     fe->me = midend_new(fe);
 302     midend_new_game(fe->me, NULL);
 303
 304     fe->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
 305 #if 0
 306     gtk_window_set_resizable(GTK_WINDOW(fe->window), FALSE);
 307 #else
 308     gtk_window_set_policy(GTK_WINDOW(fe->window), FALSE, FALSE, TRUE);
 309 #endif
 310     vbox = GTK_BOX(gtk_vbox_new(FALSE, 0));
 311     gtk_container_add(GTK_CONTAINER(fe->window), GTK_WIDGET(vbox));
 312     gtk_widget_show(GTK_WIDGET(vbox));
 313
 314     menubar = gtk_menu_bar_new();
 315     gtk_box_pack_start(vbox, menubar, FALSE, FALSE, 0);
 316     gtk_widget_show(menubar);
 317
 318     menuitem = gtk_menu_item_new_with_label("Game");
 319     gtk_container_add(GTK_CONTAINER(menubar), menuitem);
 320     gtk_widget_show(menuitem);
 321
 322     menu = gtk_menu_new();
 323     gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), menu);
 324
 325     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "New", 'n');
 326     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Restart", 'r');
 327
 328     if ((n = midend_num_presets(fe->me)) > 0) {
 329         GtkWidget *submenu;
 330         int i;
 331
 332         menuitem = gtk_menu_item_new_with_label("Type");
 333         gtk_container_add(GTK_CONTAINER(menu), menuitem);
 334         gtk_widget_show(menuitem);
 335
 336         submenu = gtk_menu_new();
 337         gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), submenu);
 338
 339         for (i = 0; i < n; i++) {
 340             char *name;
 341             game_params *params;
 342
 343             midend_fetch_preset(fe->me, i, &name, &params);
 344
 345             menuitem = gtk_menu_item_new_with_label(name);
 346             gtk_container_add(GTK_CONTAINER(submenu), menuitem);
 347             gtk_object_set_data(GTK_OBJECT(menuitem), "user-data", params);
 348             gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
 349                                GTK_SIGNAL_FUNC(menu_preset_event), fe);
 350             gtk_widget_show(menuitem);
 351         }
 352     }
 353
 354     add_menu_separator(GTK_CONTAINER(menu));
 355     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Undo", 'u');
 356     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Redo", '\x12');
 357     add_menu_separator(GTK_CONTAINER(menu));
 358     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Exit", 'q');
 359
 360     {
 361         int i, ncolours;
 362         float *colours;
 363         gboolean *success;
 364
 365         fe->colmap = gdk_colormap_get_system();
 366         colours = midend_colours(fe->me, &ncolours);
 367         fe->ncolours = ncolours;
 368         fe->colours = snewn(ncolours, GdkColor);
 369         for (i = 0; i < ncolours; i++) {
 370             fe->colours[i].red = colours[i*3] * 0xFFFF;
 371             fe->colours[i].green = colours[i*3+1] * 0xFFFF;
 372             fe->colours[i].blue = colours[i*3+2] * 0xFFFF;
 373         }
 374         success = snewn(ncolours, gboolean);
 375         gdk_colormap_alloc_colors(fe->colmap, fe->colours, ncolours,
 376                                   FALSE, FALSE, success);
 377         for (i = 0; i < ncolours; i++) {
 378             if (!success[i])
 379                 g_error("couldn't allocate colour %d (#%02x%02x%02x)\n",
 380                         i, fe->colours[i].red >> 8,
 381                         fe->colours[i].green >> 8,
 382                         fe->colours[i].blue >> 8);
 383         }
 384     }
 385
 386     fe->area = gtk_drawing_area_new();
 387     midend_size(fe->me, &x, &y);
 388     gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
 389     fe->w = x;
 390     fe->h = y;
 391
 392     gtk_box_pack_end(vbox, fe->area, FALSE, FALSE, 0);
 393
 394     fe->pixmap = NULL;
 395
 396     fe->timer_active = FALSE;
 397
 398     gtk_signal_connect(GTK_OBJECT(fe->window), "destroy",
 399                        GTK_SIGNAL_FUNC(destroy), fe);
 400     gtk_signal_connect(GTK_OBJECT(fe->window), "key_press_event",
 401                        GTK_SIGNAL_FUNC(key_event), fe);
 402     gtk_signal_connect(GTK_OBJECT(fe->area), "button_press_event",
 403                        GTK_SIGNAL_FUNC(button_event), fe);
 404     gtk_signal_connect(GTK_OBJECT(fe->area), "expose_event",
 405                        GTK_SIGNAL_FUNC(expose_area), fe);
 406     gtk_signal_connect(GTK_OBJECT(fe->area), "configure_event",
 407                        GTK_SIGNAL_FUNC(configure_area), fe);
 408
 409     gtk_widget_add_events(GTK_WIDGET(fe->area), GDK_BUTTON_PRESS_MASK);
 410
 411     gtk_widget_show(fe->area);
 412     gtk_widget_show(fe->window);
 413
 414     return fe;
 415 }
 416
 417 int main(int argc, char **argv)
 418 {
 419     srand(time(NULL));
 420
 421     gtk_init(&argc, &argv);
 422     (void) new_window();
 423     gtk_main();
 424
 425     return 0;
 426 }