gtk.c

   1 /*
   2  * gtk.c: GTK front end for my puzzle collection.
   3  */
   4
   5 #include <stdio.h>
   6 #include <assert.h>
   7 #include <stdlib.h>
   8 #include <time.h>
   9 #include <stdarg.h>
  10 #include <string.h>
  11
  12 #include <gtk/gtk.h>
  13 #include <gdk/gdkkeysyms.h>
  14
  15 #include "puzzles.h"
  16
  17 /* ----------------------------------------------------------------------
  18  * Error reporting functions used elsewhere.
  19  */
  20
  21 void fatal(char *fmt, ...)
  22 {
  23     va_list ap;
  24
  25     fprintf(stderr, "fatal error: ");
  26
  27     va_start(ap, fmt);
  28     vfprintf(stderr, fmt, ap);
  29     va_end(ap);
  30
  31     fprintf(stderr, "\n");
  32     exit(1);
  33 }
  34
  35 /* ----------------------------------------------------------------------
  36  * GTK front end to puzzles.
  37  */
  38
  39 struct font {
  40     GdkFont *font;
  41     int type;
  42     int size;
  43 };
  44
  45 /*
  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.
  51  */
  52 struct frontend {
  53     GtkWidget *window;
  54     GtkWidget *area;
  55     GtkWidget *statusbar;
  56     guint statusctx;
  57     GdkPixmap *pixmap;
  58     GdkColor *colours;
  59     int ncolours;
  60     GdkColormap *colmap;
  61     int w, h;
  62     midend_data *me;
  63     GdkGC *gc;
  64     int bbox_l, bbox_r, bbox_u, bbox_d;
  65     int timer_active, timer_id;
  66     struct font *fonts;
  67     int nfonts, fontsize;
  68     config_item *cfg;
  69     int cfg_which, cfgret;
  70     GtkWidget *cfgbox;
  71 };
  72
  73 void frontend_default_colour(frontend *fe, float *output)
  74 {
  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;
  79 }
  80
  81 void status_bar(frontend *fe, char *text)
  82 {
  83     assert(fe->statusbar);
  84
  85     gtk_statusbar_pop(GTK_STATUSBAR(fe->statusbar), fe->statusctx);
  86     gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx, text);
  87 }
  88
  89 void start_draw(frontend *fe)
  90 {
  91     fe->gc = gdk_gc_new(fe->area->window);
  92     fe->bbox_l = fe->w;
  93     fe->bbox_r = 0;
  94     fe->bbox_u = fe->h;
  95     fe->bbox_d = 0;
  96 }
  97
  98 void clip(frontend *fe, int x, int y, int w, int h)
  99 {
 100     GdkRectangle rect;
 101
 102     rect.x = x;
 103     rect.y = y;
 104     rect.width = w;
 105     rect.height = h;
 106
 107     gdk_gc_set_clip_rectangle(fe->gc, &rect);
 108 }
 109
 110 void unclip(frontend *fe)
 111 {
 112     GdkRectangle rect;
 113
 114     rect.x = 0;
 115     rect.y = 0;
 116     rect.width = fe->w;
 117     rect.height = fe->h;
 118
 119     gdk_gc_set_clip_rectangle(fe->gc, &rect);
 120 }
 121
 122 void draw_text(frontend *fe, int x, int y, int fonttype, int fontsize,
 123                int align, int colour, char *text)
 124 {
 125     int i;
 126
 127     /*
 128      * Find or create the font.
 129      */
 130     for (i = 0; i < fe->nfonts; i++)
 131         if (fe->fonts[i].type == fonttype && fe->fonts[i].size == fontsize)
 132             break;
 133
 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);
 138         }
 139
 140         fe->nfonts++;
 141
 142         fe->fonts[i].type = fonttype;
 143         fe->fonts[i].size = fontsize;
 144
 145         /*
 146          * FIXME: Really I should make at least _some_ effort to
 147          * pick the correct font.
 148          */
 149         fe->fonts[i].font = gdk_font_load("variable");
 150     }
 151
 152     /*
 153      * Find string dimensions and process alignment.
 154      */
 155     {
 156         int lb, rb, wid, asc, desc;
 157
 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;
 162
 163         if (align & ALIGN_HCENTRE)
 164             x -= wid / 2;
 165         else if (align & ALIGN_HRIGHT)
 166             x -= wid;
 167
 168     }
 169
 170     /*
 171      * Set colour and actually draw text.
 172      */
 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);
 175 }
 176
 177 void draw_rect(frontend *fe, int x, int y, int w, int h, int colour)
 178 {
 179     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
 180     gdk_draw_rectangle(fe->pixmap, fe->gc, 1, x, y, w, h);
 181 }
 182
 183 void draw_line(frontend *fe, int x1, int y1, int x2, int y2, int colour)
 184 {
 185     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
 186     gdk_draw_line(fe->pixmap, fe->gc, x1, y1, x2, y2);
 187 }
 188
 189 void draw_polygon(frontend *fe, int *coords, int npoints,
 190                   int fill, int colour)
 191 {
 192     GdkPoint *points = snewn(npoints, GdkPoint);
 193     int i;
 194
 195     for (i = 0; i < npoints; i++) {
 196         points[i].x = coords[i*2];
 197         points[i].y = coords[i*2+1];
 198     }
 199
 200     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
 201     gdk_draw_polygon(fe->pixmap, fe->gc, fill, points, npoints);
 202
 203     sfree(points);
 204 }
 205
 206 void draw_update(frontend *fe, int x, int y, int w, int h)
 207 {
 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;
 212 }
 213
 214 void end_draw(frontend *fe)
 215 {
 216     gdk_gc_unref(fe->gc);
 217     fe->gc = NULL;
 218
 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)],
 222                         fe->pixmap,
 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);
 226     }
 227 }
 228
 229 static void destroy(GtkWidget *widget, gpointer data)
 230 {
 231     gtk_main_quit();
 232 }
 233
 234 static gint key_event(GtkWidget *widget, GdkEventKey *event, gpointer data)
 235 {
 236     frontend *fe = (frontend *)data;
 237     int keyval;
 238
 239     if (!fe->pixmap)
 240         return TRUE;
 241
 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)
 246         keyval = CURSOR_UP;
 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;
 264     else
 265         keyval = -1;
 266
 267     if (keyval >= 0 &&
 268         !midend_process_key(fe->me, 0, 0, keyval))
 269         gtk_widget_destroy(fe->window);
 270
 271     return TRUE;
 272 }
 273
 274 static gint button_event(GtkWidget *widget, GdkEventButton *event,
 275                          gpointer data)
 276 {
 277     frontend *fe = (frontend *)data;
 278     int button;
 279
 280     if (!fe->pixmap)
 281         return TRUE;
 282
 283     if (event->type != GDK_BUTTON_PRESS)
 284         return TRUE;
 285
 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;
 292     else
 293         return FALSE;                  /* don't even know what button! */
 294
 295     if (!midend_process_key(fe->me, event->x, event->y, button))
 296         gtk_widget_destroy(fe->window);
 297
 298     return TRUE;
 299 }
 300
 301 static gint expose_area(GtkWidget *widget, GdkEventExpose *event,
 302                         gpointer data)
 303 {
 304     frontend *fe = (frontend *)data;
 305
 306     if (fe->pixmap) {
 307         gdk_draw_pixmap(widget->window,
 308                         widget->style->fg_gc[GTK_WIDGET_STATE(widget)],
 309                         fe->pixmap,
 310                         event->area.x, event->area.y,
 311                         event->area.x, event->area.y,
 312                         event->area.width, event->area.height);
 313     }
 314     return TRUE;
 315 }
 316
 317 static gint map_window(GtkWidget *widget, GdkEvent *event,
 318                        gpointer data)
 319 {
 320     frontend *fe = (frontend *)data;
 321
 322     /*
 323      * Apparently we need to do this because otherwise the status
 324      * bar will fail to update immediately. Annoying, but there we
 325      * go.
 326      */
 327     gtk_widget_queue_draw(fe->window);
 328
 329     return TRUE;
 330 }
 331
 332 static gint configure_area(GtkWidget *widget,
 333                            GdkEventConfigure *event, gpointer data)
 334 {
 335     frontend *fe = (frontend *)data;
 336     GdkGC *gc;
 337
 338     if (fe->pixmap)
 339         gdk_pixmap_unref(fe->pixmap);
 340
 341     fe->pixmap = gdk_pixmap_new(widget->window, fe->w, fe->h, -1);
 342
 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);
 346     gdk_gc_unref(gc);
 347
 348     midend_redraw(fe->me);
 349
 350     return TRUE;
 351 }
 352
 353 static gint timer_func(gpointer data)
 354 {
 355     frontend *fe = (frontend *)data;
 356
 357     if (fe->timer_active)
 358         midend_timer(fe->me, 0.02);    /* may clear timer_active */
 359
 360     return fe->timer_active;
 361 }
 362
 363 void deactivate_timer(frontend *fe)
 364 {
 365     if (fe->timer_active)
 366         gtk_timeout_remove(fe->timer_id);
 367     fe->timer_active = FALSE;
 368 }
 369
 370 void activate_timer(frontend *fe)
 371 {
 372     if (!fe->timer_active)
 373         fe->timer_id = gtk_timeout_add(20, timer_func, fe);
 374     fe->timer_active = TRUE;
 375 }
 376
 377 static void window_destroy(GtkWidget *widget, gpointer data)
 378 {
 379     gtk_main_quit();
 380 }
 381
 382 static void errmsg_button_clicked(GtkButton *button, gpointer data)
 383 {
 384     gtk_widget_destroy(GTK_WIDGET(data));
 385 }
 386
 387 void error_box(GtkWidget *parent, char *msg)
 388 {
 389     GtkWidget *window, *hbox, *text, *ok;
 390
 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);
 405     gtk_widget_show(ok);
 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);
 416     gtk_main();
 417 }
 418
 419 static void config_ok_button_clicked(GtkButton *button, gpointer data)
 420 {
 421     frontend *fe = (frontend *)data;
 422     char *err;
 423
 424     err = midend_set_config(fe->me, fe->cfg_which, fe->cfg);
 425
 426     if (err)
 427         error_box(fe->cfgbox, err);
 428     else {
 429         fe->cfgret = TRUE;
 430         gtk_widget_destroy(fe->cfgbox);
 431     }
 432 }
 433
 434 static void config_cancel_button_clicked(GtkButton *button, gpointer data)
 435 {
 436     frontend *fe = (frontend *)data;
 437
 438     gtk_widget_destroy(fe->cfgbox);
 439 }
 440
 441 static void editbox_changed(GtkEditable *ed, gpointer data)
 442 {
 443     config_item *i = (config_item *)data;
 444
 445     sfree(i->sval);
 446     i->sval = dupstr(gtk_entry_get_text(GTK_ENTRY(ed)));
 447 }
 448
 449 static void button_toggled(GtkToggleButton *tb, gpointer data)
 450 {
 451     config_item *i = (config_item *)data;
 452
 453     i->ival = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(tb));
 454 }
 455
 456 static void droplist_sel(GtkMenuItem *item, gpointer data)
 457 {
 458     config_item *i = (config_item *)data;
 459
 460     i->ival = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(item),
 461                                                   "user-data"));
 462 }
 463
 464 static int get_config(frontend *fe, int which)
 465 {
 466     GtkWidget *w, *table;
 467     char *title;
 468     config_item *i;
 469     int y;
 470
 471     fe->cfg = midend_get_config(fe->me, which, &title);
 472     fe->cfg_which = which;
 473     fe->cfgret = FALSE;
 474
 475     fe->cfgbox = gtk_dialog_new();
 476     gtk_window_set_title(GTK_WINDOW(fe->cfgbox), title);
 477     sfree(title);
 478
 479     w = gtk_button_new_with_label("OK");
 480     gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
 481                      w, FALSE, FALSE, 0);
 482     gtk_widget_show(w);
 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);
 487
 488     w = gtk_button_new_with_label("Cancel");
 489     gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
 490                      w, FALSE, FALSE, 0);
 491     gtk_widget_show(w);
 492     gtk_signal_connect(GTK_OBJECT(w), "clicked",
 493                        GTK_SIGNAL_FUNC(config_cancel_button_clicked), fe);
 494
 495     table = gtk_table_new(1, 2, FALSE);
 496     y = 0;
 497     gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->vbox),
 498                      table, FALSE, FALSE, 0);
 499     gtk_widget_show(table);
 500
 501     for (i = fe->cfg; i->type != C_END; i++) {
 502         gtk_table_resize(GTK_TABLE(table), y+1, 2);
 503
 504         switch (i->type) {
 505           case C_STRING:
 506             /*
 507              * Edit box with a label beside it.
 508              */
 509
 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,
 515                              3, 3);
 516             gtk_widget_show(w);
 517
 518             w = gtk_entry_new();
 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,
 522                              3, 3);
 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);
 526             gtk_widget_show(w);
 527
 528             break;
 529
 530           case C_BOOLEAN:
 531             /*
 532              * Simple checkbox.
 533              */
 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,
 540                              3, 3);
 541             gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(w), i->ival);
 542             gtk_widget_show(w);
 543             break;
 544
 545           case C_CHOICES:
 546             /*
 547              * Drop-down list (GtkOptionMenu).
 548              */
 549
 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,
 555                              3, 3);
 556             gtk_widget_show(w);
 557
 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,
 562                              3, 3);
 563             gtk_widget_show(w);
 564
 565             {
 566                 int c, val;
 567                 char *p, *q, *name;
 568                 GtkWidget *menuitem;
 569                 GtkWidget *menu = gtk_menu_new();
 570
 571                 gtk_option_menu_set_menu(GTK_OPTION_MENU(w), menu);
 572
 573                 c = *i->sval;
 574                 p = i->sval+1;
 575                 val = 0;
 576
 577                 while (*p) {
 578                     q = p;
 579                     while (*q && *q != c)
 580                         q++;
 581
 582                     name = snewn(q-p+1, char);
 583                     strncpy(name, p, q-p);
 584                     name[q-p] = '\0';
 585
 586                     if (*q) q++;       /* eat delimiter */
 587
 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);
 595
 596                     val++;
 597
 598                     p = q;
 599                 }
 600
 601                 gtk_option_menu_set_history(GTK_OPTION_MENU(w), i->ival);
 602             }
 603
 604             break;
 605         }
 606
 607         y++;
 608     }
 609
 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);
 617     gtk_main();
 618
 619     free_cfg(fe->cfg);
 620
 621     return fe->cfgret;
 622 }
 623
 624 static void menu_key_event(GtkMenuItem *menuitem, gpointer data)
 625 {
 626     frontend *fe = (frontend *)data;
 627     int key = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
 628                                                   "user-data"));
 629     if (!midend_process_key(fe->me, 0, 0, key))
 630         gtk_widget_destroy(fe->window);
 631 }
 632
 633 static void menu_preset_event(GtkMenuItem *menuitem, gpointer data)
 634 {
 635     frontend *fe = (frontend *)data;
 636     game_params *params =
 637         (game_params *)gtk_object_get_data(GTK_OBJECT(menuitem), "user-data");
 638     int x, y;
 639
 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);
 644     fe->w = x;
 645     fe->h = y;
 646 }
 647
 648 static void menu_config_event(GtkMenuItem *menuitem, gpointer data)
 649 {
 650     frontend *fe = (frontend *)data;
 651     int which = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
 652                                                     "user-data"));
 653     int x, y;
 654
 655     if (!get_config(fe, which))
 656         return;
 657
 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);
 661     fe->w = x;
 662     fe->h = y;
 663 }
 664
 665 static GtkWidget *add_menu_item_with_key(frontend *fe, GtkContainer *cont,
 666                                          char *text, int key)
 667 {
 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);
 675     return menuitem;
 676 }
 677
 678 static void add_menu_separator(GtkContainer *cont)
 679 {
 680     GtkWidget *menuitem = gtk_menu_item_new();
 681     gtk_container_add(cont, menuitem);
 682     gtk_widget_show(menuitem);
 683 }
 684
 685 static frontend *new_window(void)
 686 {
 687     frontend *fe;
 688     GtkBox *vbox;
 689     GtkWidget *menubar, *menu, *menuitem;
 690     int x, y, n;
 691     time_t t;
 692
 693     fe = snew(frontend);
 694
 695     time(&t);
 696     fe->me = midend_new(fe, &t, sizeof(t));
 697     midend_new_game(fe->me);
 698
 699     fe->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
 700     gtk_window_set_title(GTK_WINDOW(fe->window), game_name);
 701 #if 0
 702     gtk_window_set_resizable(GTK_WINDOW(fe->window), FALSE);
 703 #else
 704     gtk_window_set_policy(GTK_WINDOW(fe->window), FALSE, FALSE, TRUE);
 705 #endif
 706     vbox = GTK_BOX(gtk_vbox_new(FALSE, 0));
 707     gtk_container_add(GTK_CONTAINER(fe->window), GTK_WIDGET(vbox));
 708     gtk_widget_show(GTK_WIDGET(vbox));
 709
 710     menubar = gtk_menu_bar_new();
 711     gtk_box_pack_start(vbox, menubar, FALSE, FALSE, 0);
 712     gtk_widget_show(menubar);
 713
 714     menuitem = gtk_menu_item_new_with_label("Game");
 715     gtk_container_add(GTK_CONTAINER(menubar), menuitem);
 716     gtk_widget_show(menuitem);
 717
 718     menu = gtk_menu_new();
 719     gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), menu);
 720
 721     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "New", 'n');
 722     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Restart", 'r');
 723
 724     menuitem = gtk_menu_item_new_with_label("Specific...");
 725     gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
 726                         GINT_TO_POINTER(CFG_SEED));
 727     gtk_container_add(GTK_CONTAINER(menu), menuitem);
 728     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
 729                        GTK_SIGNAL_FUNC(menu_config_event), fe);
 730     gtk_widget_show(menuitem);
 731
 732     if ((n = midend_num_presets(fe->me)) > 0 || game_can_configure) {
 733         GtkWidget *submenu;
 734         int i;
 735
 736         menuitem = gtk_menu_item_new_with_label("Type");
 737         gtk_container_add(GTK_CONTAINER(menubar), menuitem);
 738         gtk_widget_show(menuitem);
 739
 740         submenu = gtk_menu_new();
 741         gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), submenu);
 742
 743         for (i = 0; i < n; i++) {
 744             char *name;
 745             game_params *params;
 746
 747             midend_fetch_preset(fe->me, i, &name, &params);
 748
 749             menuitem = gtk_menu_item_new_with_label(name);
 750             gtk_container_add(GTK_CONTAINER(submenu), menuitem);
 751             gtk_object_set_data(GTK_OBJECT(menuitem), "user-data", params);
 752             gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
 753                                GTK_SIGNAL_FUNC(menu_preset_event), fe);
 754             gtk_widget_show(menuitem);
 755         }
 756
 757         if (game_can_configure) {
 758             menuitem = gtk_menu_item_new_with_label("Custom...");
 759             gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
 760                                 GPOINTER_TO_INT(CFG_SETTINGS));
 761             gtk_container_add(GTK_CONTAINER(submenu), menuitem);
 762             gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
 763                                GTK_SIGNAL_FUNC(menu_config_event), fe);
 764             gtk_widget_show(menuitem);
 765         }
 766     }
 767
 768     add_menu_separator(GTK_CONTAINER(menu));
 769     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Undo", 'u');
 770     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Redo", '\x12');
 771     add_menu_separator(GTK_CONTAINER(menu));
 772     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Exit", 'q');
 773
 774     {
 775         int i, ncolours;
 776         float *colours;
 777         gboolean *success;
 778
 779         fe->colmap = gdk_colormap_get_system();
 780         colours = midend_colours(fe->me, &ncolours);
 781         fe->ncolours = ncolours;
 782         fe->colours = snewn(ncolours, GdkColor);
 783         for (i = 0; i < ncolours; i++) {
 784             fe->colours[i].red = colours[i*3] * 0xFFFF;
 785             fe->colours[i].green = colours[i*3+1] * 0xFFFF;
 786             fe->colours[i].blue = colours[i*3+2] * 0xFFFF;
 787         }
 788         success = snewn(ncolours, gboolean);
 789         gdk_colormap_alloc_colors(fe->colmap, fe->colours, ncolours,
 790                                   FALSE, FALSE, success);
 791         for (i = 0; i < ncolours; i++) {
 792             if (!success[i])
 793                 g_error("couldn't allocate colour %d (#%02x%02x%02x)\n",
 794                         i, fe->colours[i].red >> 8,
 795                         fe->colours[i].green >> 8,
 796                         fe->colours[i].blue >> 8);
 797         }
 798     }
 799
 800     if (midend_wants_statusbar(fe->me)) {
 801         GtkWidget *viewport;
 802         GtkRequisition req;
 803
 804         viewport = gtk_viewport_new(NULL, NULL);
 805         gtk_viewport_set_shadow_type(GTK_VIEWPORT(viewport), GTK_SHADOW_NONE);
 806         fe->statusbar = gtk_statusbar_new();
 807         gtk_container_add(GTK_CONTAINER(viewport), fe->statusbar);
 808         gtk_widget_show(viewport);
 809         gtk_box_pack_end(vbox, viewport, FALSE, FALSE, 0);
 810         gtk_widget_show(fe->statusbar);
 811         fe->statusctx = gtk_statusbar_get_context_id
 812             (GTK_STATUSBAR(fe->statusbar), "game");
 813         gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx,
 814                            "test");
 815         gtk_widget_size_request(fe->statusbar, &req);
 816 #if 0
 817         /* For GTK 2.0, should we be using gtk_widget_set_size_request? */
 818 #endif
 819         gtk_widget_set_usize(viewport, x, req.height);
 820     } else
 821         fe->statusbar = NULL;
 822
 823     fe->area = gtk_drawing_area_new();
 824     midend_size(fe->me, &x, &y);
 825     gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
 826     fe->w = x;
 827     fe->h = y;
 828
 829     gtk_box_pack_end(vbox, fe->area, FALSE, FALSE, 0);
 830
 831     fe->pixmap = NULL;
 832     fe->fonts = NULL;
 833     fe->nfonts = fe->fontsize = 0;
 834
 835     fe->timer_active = FALSE;
 836
 837     gtk_signal_connect(GTK_OBJECT(fe->window), "destroy",
 838                        GTK_SIGNAL_FUNC(destroy), fe);
 839     gtk_signal_connect(GTK_OBJECT(fe->window), "key_press_event",
 840                        GTK_SIGNAL_FUNC(key_event), fe);
 841     gtk_signal_connect(GTK_OBJECT(fe->area), "button_press_event",
 842                        GTK_SIGNAL_FUNC(button_event), fe);
 843     gtk_signal_connect(GTK_OBJECT(fe->area), "expose_event",
 844                        GTK_SIGNAL_FUNC(expose_area), fe);
 845     gtk_signal_connect(GTK_OBJECT(fe->window), "map_event",
 846                        GTK_SIGNAL_FUNC(map_window), fe);
 847     gtk_signal_connect(GTK_OBJECT(fe->area), "configure_event",
 848                        GTK_SIGNAL_FUNC(configure_area), fe);
 849
 850     gtk_widget_add_events(GTK_WIDGET(fe->area), GDK_BUTTON_PRESS_MASK);
 851
 852     gtk_widget_show(fe->area);
 853     gtk_widget_show(fe->window);
 854
 855     return fe;
 856 }
 857
 858 int main(int argc, char **argv)
 859 {
 860     gtk_init(&argc, &argv);
 861     (void) new_window();
 862     gtk_main();
 863
 864     return 0;
 865 }