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 <sys/time.h>
  13
  14 #include <gtk/gtk.h>
  15 #include <gdk/gdkkeysyms.h>
  16
  17 #include <gdk/gdkx.h>
  18 #include <X11/Xlib.h>
  19 #include <X11/Xutil.h>
  20 #include <X11/Xatom.h>
  21
  22 #include "puzzles.h"
  23
  24 #if GTK_CHECK_VERSION(2,0,0)
  25 #define USE_PANGO
  26 #endif
  27
  28 #ifdef DEBUGGING
  29 static FILE *debug_fp = NULL;
  30
  31 void dputs(char *buf)
  32 {
  33     if (!debug_fp) {
  34         debug_fp = fopen("debug.log", "w");
  35     }
  36
  37     fputs(buf, stderr);
  38
  39     if (debug_fp) {
  40         fputs(buf, debug_fp);
  41         fflush(debug_fp);
  42     }
  43 }
  44
  45 void debug_printf(char *fmt, ...)
  46 {
  47     char buf[4096];
  48     va_list ap;
  49
  50     va_start(ap, fmt);
  51     vsprintf(buf, fmt, ap);
  52     dputs(buf);
  53     va_end(ap);
  54 }
  55 #endif
  56
  57 /* ----------------------------------------------------------------------
  58  * Error reporting functions used elsewhere.
  59  */
  60
  61 void fatal(char *fmt, ...)
  62 {
  63     va_list ap;
  64
  65     fprintf(stderr, "fatal error: ");
  66
  67     va_start(ap, fmt);
  68     vfprintf(stderr, fmt, ap);
  69     va_end(ap);
  70
  71     fprintf(stderr, "\n");
  72     exit(1);
  73 }
  74
  75 /* ----------------------------------------------------------------------
  76  * GTK front end to puzzles.
  77  */
  78
  79 struct font {
  80 #ifdef USE_PANGO
  81     PangoFontDescription *desc;
  82 #else
  83     GdkFont *font;
  84 #endif
  85     int type;
  86     int size;
  87 };
  88
  89 /*
  90  * This structure holds all the data relevant to a single window.
  91  * In principle this would allow us to open multiple independent
  92  * puzzle windows, although I can't currently see any real point in
  93  * doing so. I'm just coding cleanly because there's no
  94  * particularly good reason not to.
  95  */
  96 struct frontend {
  97     GtkWidget *window;
  98     GtkWidget *area;
  99     GtkWidget *statusbar;
 100     guint statusctx;
 101     GdkPixmap *pixmap;
 102     GdkColor *colours;
 103     int ncolours;
 104     GdkColormap *colmap;
 105     int w, h;
 106     midend_data *me;
 107     GdkGC *gc;
 108     int bbox_l, bbox_r, bbox_u, bbox_d;
 109     int timer_active, timer_id;
 110     struct timeval last_time;
 111     struct font *fonts;
 112     int nfonts, fontsize;
 113     config_item *cfg;
 114     int cfg_which, cfgret;
 115     GtkWidget *cfgbox;
 116     void *paste_data;
 117     int paste_data_len;
 118     char *laststatus;
 119     int pw, ph;                        /* pixmap size (w, h are area size) */
 120     int ox, oy;                        /* offset of pixmap in drawing area */
 121     char *filesel_name;
 122 };
 123
 124 void get_random_seed(void **randseed, int *randseedsize)
 125 {
 126     struct timeval *tvp = snew(struct timeval);
 127     gettimeofday(tvp, NULL);
 128     *randseed = (void *)tvp;
 129     *randseedsize = sizeof(struct timeval);
 130 }
 131
 132 void frontend_default_colour(frontend *fe, float *output)
 133 {
 134     GdkColor col = fe->window->style->bg[GTK_STATE_NORMAL];
 135     output[0] = col.red / 65535.0;
 136     output[1] = col.green / 65535.0;
 137     output[2] = col.blue / 65535.0;
 138 }
 139
 140 void status_bar(frontend *fe, char *text)
 141 {
 142     char *rewritten;
 143
 144     assert(fe->statusbar);
 145
 146     rewritten = midend_rewrite_statusbar(fe->me, text);
 147     if (!fe->laststatus || strcmp(rewritten, fe->laststatus)) {
 148         gtk_statusbar_pop(GTK_STATUSBAR(fe->statusbar), fe->statusctx);
 149         gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx, rewritten);
 150         sfree(fe->laststatus);
 151         fe->laststatus = rewritten;
 152     } else {
 153         sfree(rewritten);
 154     }
 155 }
 156
 157 void start_draw(frontend *fe)
 158 {
 159     fe->gc = gdk_gc_new(fe->area->window);
 160     fe->bbox_l = fe->w;
 161     fe->bbox_r = 0;
 162     fe->bbox_u = fe->h;
 163     fe->bbox_d = 0;
 164 }
 165
 166 void clip(frontend *fe, int x, int y, int w, int h)
 167 {
 168     GdkRectangle rect;
 169
 170     rect.x = x;
 171     rect.y = y;
 172     rect.width = w;
 173     rect.height = h;
 174
 175     gdk_gc_set_clip_rectangle(fe->gc, &rect);
 176 }
 177
 178 void unclip(frontend *fe)
 179 {
 180     GdkRectangle rect;
 181
 182     rect.x = 0;
 183     rect.y = 0;
 184     rect.width = fe->w;
 185     rect.height = fe->h;
 186
 187     gdk_gc_set_clip_rectangle(fe->gc, &rect);
 188 }
 189
 190 void draw_text(frontend *fe, int x, int y, int fonttype, int fontsize,
 191                int align, int colour, char *text)
 192 {
 193     int i;
 194
 195     /*
 196      * Find or create the font.
 197      */
 198     for (i = 0; i < fe->nfonts; i++)
 199         if (fe->fonts[i].type == fonttype && fe->fonts[i].size == fontsize)
 200             break;
 201
 202     if (i == fe->nfonts) {
 203         if (fe->fontsize <= fe->nfonts) {
 204             fe->fontsize = fe->nfonts + 10;
 205             fe->fonts = sresize(fe->fonts, fe->fontsize, struct font);
 206         }
 207
 208         fe->nfonts++;
 209
 210         fe->fonts[i].type = fonttype;
 211         fe->fonts[i].size = fontsize;
 212
 213 #ifdef USE_PANGO
 214         /*
 215          * Use Pango to find the closest match to the requested
 216          * font.
 217          */
 218         {
 219             PangoFontDescription *fd;
 220
 221             fd = pango_font_description_new();
 222             /* `Monospace' and `Sans' are meta-families guaranteed to exist */
 223             pango_font_description_set_family(fd, fonttype == FONT_FIXED ?
 224                                               "Monospace" : "Sans");
 225             pango_font_description_set_weight(fd, PANGO_WEIGHT_BOLD);
 226             /*
 227              * I found some online Pango documentation which
 228              * described a function called
 229              * pango_font_description_set_absolute_size(), which is
 230              * _exactly_ what I want here. Unfortunately, none of
 231              * my local Pango installations have it (presumably
 232              * they're too old), so I'm going to have to hack round
 233              * it by figuring out the point size myself. This
 234              * limits me to X and probably also breaks in later
 235              * Pango installations, so ideally I should add another
 236              * CHECK_VERSION type ifdef and use set_absolute_size
 237              * where available. All very annoying.
 238              */
 239 #ifdef HAVE_SENSIBLE_ABSOLUTE_SIZE_FUNCTION
 240             pango_font_description_set_absolute_size(fd, PANGO_SCALE*fontsize);
 241 #else
 242             {
 243                 Display *d = GDK_DISPLAY();
 244                 int s = DefaultScreen(d);
 245                 double resolution =
 246                     (PANGO_SCALE * 72.27 / 25.4) *
 247                     ((double) DisplayWidthMM(d, s) / DisplayWidth (d, s));
 248                 pango_font_description_set_size(fd, resolution * fontsize);
 249             }
 250 #endif
 251             fe->fonts[i].desc = fd;
 252         }
 253
 254 #else
 255         /*
 256          * In GTK 1.2, I don't know of any plausible way to
 257          * pick a suitable font, so I'm just going to be
 258          * tedious.
 259          */
 260         fe->fonts[i].font = gdk_font_load(fonttype == FONT_FIXED ?
 261                                           "fixed" : "variable");
 262 #endif
 263
 264     }
 265
 266     /*
 267      * Set the colour.
 268      */
 269     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
 270
 271 #ifdef USE_PANGO
 272
 273     {
 274         PangoLayout *layout;
 275         PangoRectangle rect;
 276
 277         /*
 278          * Create a layout.
 279          */
 280         layout = pango_layout_new(gtk_widget_get_pango_context(fe->area));
 281         pango_layout_set_font_description(layout, fe->fonts[i].desc);
 282         pango_layout_set_text(layout, text, strlen(text));
 283         pango_layout_get_pixel_extents(layout, NULL, &rect);
 284
 285         if (align & ALIGN_VCENTRE)
 286             rect.y -= rect.height / 2;
 287
 288         if (align & ALIGN_HCENTRE)
 289             rect.x -= rect.width / 2;
 290         else if (align & ALIGN_HRIGHT)
 291             rect.x -= rect.width;
 292
 293         gdk_draw_layout(fe->pixmap, fe->gc, rect.x + x, rect.y + y, layout);
 294
 295         g_object_unref(layout);
 296     }
 297
 298 #else
 299     /*
 300      * Find string dimensions and process alignment.
 301      */
 302     {
 303         int lb, rb, wid, asc, desc;
 304
 305         /*
 306          * Measure vertical string extents with respect to the same
 307          * string always...
 308          */
 309         gdk_string_extents(fe->fonts[i].font,
 310                            "ABCDEFGHIJKLMNOPQRSTUVWXYZ",
 311                            &lb, &rb, &wid, &asc, &desc);
 312         if (align & ALIGN_VCENTRE)
 313             y += asc - (asc+desc)/2;
 314
 315         /*
 316          * ... but horizontal extents with respect to the provided
 317          * string. This means that multiple pieces of text centred
 318          * on the same y-coordinate don't have different baselines.
 319          */
 320         gdk_string_extents(fe->fonts[i].font, text,
 321                            &lb, &rb, &wid, &asc, &desc);
 322
 323         if (align & ALIGN_HCENTRE)
 324             x -= wid / 2;
 325         else if (align & ALIGN_HRIGHT)
 326             x -= wid;
 327
 328     }
 329
 330     /*
 331      * Actually draw the text.
 332      */
 333     gdk_draw_string(fe->pixmap, fe->fonts[i].font, fe->gc, x, y, text);
 334 #endif
 335
 336 }
 337
 338 void draw_rect(frontend *fe, int x, int y, int w, int h, int colour)
 339 {
 340     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
 341     gdk_draw_rectangle(fe->pixmap, fe->gc, 1, x, y, w, h);
 342 }
 343
 344 void draw_line(frontend *fe, int x1, int y1, int x2, int y2, int colour)
 345 {
 346     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
 347     gdk_draw_line(fe->pixmap, fe->gc, x1, y1, x2, y2);
 348 }
 349
 350 void draw_polygon(frontend *fe, int *coords, int npoints,
 351                   int fill, int colour)
 352 {
 353     GdkPoint *points = snewn(npoints, GdkPoint);
 354     int i;
 355
 356     for (i = 0; i < npoints; i++) {
 357         points[i].x = coords[i*2];
 358         points[i].y = coords[i*2+1];
 359     }
 360
 361     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
 362     gdk_draw_polygon(fe->pixmap, fe->gc, fill, points, npoints);
 363
 364     sfree(points);
 365 }
 366
 367 void draw_circle(frontend *fe, int cx, int cy, int radius,
 368                  int fill, int colour)
 369 {
 370     gdk_gc_set_foreground(fe->gc, &fe->colours[colour]);
 371     gdk_draw_arc(fe->pixmap, fe->gc, fill,
 372                  cx - radius, cy - radius,
 373                  2 * radius, 2 * radius, 0, 360 * 64);
 374 }
 375
 376 struct blitter {
 377     GdkPixmap *pixmap;
 378     int w, h, x, y;
 379 };
 380
 381 blitter *blitter_new(int w, int h)
 382 {
 383     /*
 384      * We can't create the pixmap right now, because fe->window
 385      * might not yet exist. So we just cache w and h and create it
 386      * during the firs call to blitter_save.
 387      */
 388     blitter *bl = snew(blitter);
 389     bl->pixmap = NULL;
 390     bl->w = w;
 391     bl->h = h;
 392     return bl;
 393 }
 394
 395 void blitter_free(blitter *bl)
 396 {
 397     if (bl->pixmap)
 398         gdk_pixmap_unref(bl->pixmap);
 399     sfree(bl);
 400 }
 401
 402 void blitter_save(frontend *fe, blitter *bl, int x, int y)
 403 {
 404     if (!bl->pixmap)
 405         bl->pixmap = gdk_pixmap_new(fe->area->window, bl->w, bl->h, -1);
 406     bl->x = x;
 407     bl->y = y;
 408     gdk_draw_pixmap(bl->pixmap,
 409                     fe->area->style->fg_gc[GTK_WIDGET_STATE(fe->area)],
 410                     fe->pixmap,
 411                     x, y, 0, 0, bl->w, bl->h);
 412 }
 413
 414 void blitter_load(frontend *fe, blitter *bl, int x, int y)
 415 {
 416     assert(bl->pixmap);
 417     if (x == BLITTER_FROMSAVED && y == BLITTER_FROMSAVED) {
 418         x = bl->x;
 419         y = bl->y;
 420     }
 421     gdk_draw_pixmap(fe->pixmap,
 422                     fe->area->style->fg_gc[GTK_WIDGET_STATE(fe->area)],
 423                     bl->pixmap,
 424                     0, 0, x, y, bl->w, bl->h);
 425 }
 426
 427 void draw_update(frontend *fe, int x, int y, int w, int h)
 428 {
 429     if (fe->bbox_l > x  ) fe->bbox_l = x  ;
 430     if (fe->bbox_r < x+w) fe->bbox_r = x+w;
 431     if (fe->bbox_u > y  ) fe->bbox_u = y  ;
 432     if (fe->bbox_d < y+h) fe->bbox_d = y+h;
 433 }
 434
 435 void end_draw(frontend *fe)
 436 {
 437     gdk_gc_unref(fe->gc);
 438     fe->gc = NULL;
 439
 440     if (fe->bbox_l < fe->bbox_r && fe->bbox_u < fe->bbox_d) {
 441         gdk_draw_pixmap(fe->area->window,
 442                         fe->area->style->fg_gc[GTK_WIDGET_STATE(fe->area)],
 443                         fe->pixmap,
 444                         fe->bbox_l, fe->bbox_u,
 445                         fe->ox + fe->bbox_l, fe->oy + fe->bbox_u,
 446                         fe->bbox_r - fe->bbox_l, fe->bbox_d - fe->bbox_u);
 447     }
 448 }
 449
 450 static void destroy(GtkWidget *widget, gpointer data)
 451 {
 452     frontend *fe = (frontend *)data;
 453     deactivate_timer(fe);
 454     midend_free(fe->me);
 455     gtk_main_quit();
 456 }
 457
 458 static gint key_event(GtkWidget *widget, GdkEventKey *event, gpointer data)
 459 {
 460     frontend *fe = (frontend *)data;
 461     int keyval;
 462     int shift = (event->state & GDK_SHIFT_MASK) ? MOD_SHFT : 0;
 463     int ctrl = (event->state & GDK_CONTROL_MASK) ? MOD_CTRL : 0;
 464
 465     if (!fe->pixmap)
 466         return TRUE;
 467
 468     if (event->keyval == GDK_Up)
 469         keyval = shift | ctrl | CURSOR_UP;
 470     else if (event->keyval == GDK_KP_Up || event->keyval == GDK_KP_8)
 471         keyval = MOD_NUM_KEYPAD | '8';
 472     else if (event->keyval == GDK_Down)
 473         keyval = shift | ctrl | CURSOR_DOWN;
 474     else if (event->keyval == GDK_KP_Down || event->keyval == GDK_KP_2)
 475         keyval = MOD_NUM_KEYPAD | '2';
 476     else if (event->keyval == GDK_Left)
 477         keyval = shift | ctrl | CURSOR_LEFT;
 478     else if (event->keyval == GDK_KP_Left || event->keyval == GDK_KP_4)
 479         keyval = MOD_NUM_KEYPAD | '4';
 480     else if (event->keyval == GDK_Right)
 481         keyval = shift | ctrl | CURSOR_RIGHT;
 482     else if (event->keyval == GDK_KP_Right || event->keyval == GDK_KP_6)
 483         keyval = MOD_NUM_KEYPAD | '6';
 484     else if (event->keyval == GDK_KP_Home || event->keyval == GDK_KP_7)
 485         keyval = MOD_NUM_KEYPAD | '7';
 486     else if (event->keyval == GDK_KP_End || event->keyval == GDK_KP_1)
 487         keyval = MOD_NUM_KEYPAD | '1';
 488     else if (event->keyval == GDK_KP_Page_Up || event->keyval == GDK_KP_9)
 489         keyval = MOD_NUM_KEYPAD | '9';
 490     else if (event->keyval == GDK_KP_Page_Down || event->keyval == GDK_KP_3)
 491         keyval = MOD_NUM_KEYPAD | '3';
 492     else if (event->keyval == GDK_KP_Insert || event->keyval == GDK_KP_0)
 493         keyval = MOD_NUM_KEYPAD | '0';
 494     else if (event->keyval == GDK_KP_Begin || event->keyval == GDK_KP_5)
 495         keyval = MOD_NUM_KEYPAD | '5';
 496     else if (event->string[0] && !event->string[1])
 497         keyval = (unsigned char)event->string[0];
 498     else
 499         keyval = -1;
 500
 501     if (keyval >= 0 &&
 502         !midend_process_key(fe->me, 0, 0, keyval))
 503         gtk_widget_destroy(fe->window);
 504
 505     return TRUE;
 506 }
 507
 508 static gint button_event(GtkWidget *widget, GdkEventButton *event,
 509                          gpointer data)
 510 {
 511     frontend *fe = (frontend *)data;
 512     int button;
 513
 514     if (!fe->pixmap)
 515         return TRUE;
 516
 517     if (event->type != GDK_BUTTON_PRESS && event->type != GDK_BUTTON_RELEASE)
 518         return TRUE;
 519
 520     if (event->button == 2 || (event->state & GDK_SHIFT_MASK))
 521         button = MIDDLE_BUTTON;
 522     else if (event->button == 3 || (event->state & GDK_MOD1_MASK))
 523         button = RIGHT_BUTTON;
 524     else if (event->button == 1)
 525         button = LEFT_BUTTON;
 526     else
 527         return FALSE;                  /* don't even know what button! */
 528
 529     if (event->type == GDK_BUTTON_RELEASE)
 530         button += LEFT_RELEASE - LEFT_BUTTON;
 531
 532     if (!midend_process_key(fe->me, event->x - fe->ox,
 533                             event->y - fe->oy, button))
 534         gtk_widget_destroy(fe->window);
 535
 536     return TRUE;
 537 }
 538
 539 static gint motion_event(GtkWidget *widget, GdkEventMotion *event,
 540                          gpointer data)
 541 {
 542     frontend *fe = (frontend *)data;
 543     int button;
 544
 545     if (!fe->pixmap)
 546         return TRUE;
 547
 548     if (event->state & (GDK_BUTTON2_MASK | GDK_SHIFT_MASK))
 549         button = MIDDLE_DRAG;
 550     else if (event->state & GDK_BUTTON1_MASK)
 551         button = LEFT_DRAG;
 552     else if (event->state & GDK_BUTTON3_MASK)
 553         button = RIGHT_DRAG;
 554     else
 555         return FALSE;                  /* don't even know what button! */
 556
 557     if (!midend_process_key(fe->me, event->x - fe->ox,
 558                             event->y - fe->oy, button))
 559         gtk_widget_destroy(fe->window);
 560
 561     return TRUE;
 562 }
 563
 564 static gint expose_area(GtkWidget *widget, GdkEventExpose *event,
 565                         gpointer data)
 566 {
 567     frontend *fe = (frontend *)data;
 568
 569     if (fe->pixmap) {
 570         gdk_draw_pixmap(widget->window,
 571                         widget->style->fg_gc[GTK_WIDGET_STATE(widget)],
 572                         fe->pixmap,
 573                         event->area.x - fe->ox, event->area.y - fe->oy,
 574                         event->area.x, event->area.y,
 575                         event->area.width, event->area.height);
 576     }
 577     return TRUE;
 578 }
 579
 580 static gint map_window(GtkWidget *widget, GdkEvent *event,
 581                        gpointer data)
 582 {
 583     frontend *fe = (frontend *)data;
 584
 585     /*
 586      * Apparently we need to do this because otherwise the status
 587      * bar will fail to update immediately. Annoying, but there we
 588      * go.
 589      */
 590     gtk_widget_queue_draw(fe->window);
 591
 592     return TRUE;
 593 }
 594
 595 static gint configure_area(GtkWidget *widget,
 596                            GdkEventConfigure *event, gpointer data)
 597 {
 598     frontend *fe = (frontend *)data;
 599     GdkGC *gc;
 600     int x, y;
 601
 602     if (fe->pixmap)
 603         gdk_pixmap_unref(fe->pixmap);
 604
 605     x = fe->w = event->width;
 606     y = fe->h = event->height;
 607     midend_size(fe->me, &x, &y, TRUE);
 608     fe->pw = x;
 609     fe->ph = y;
 610     fe->ox = (fe->w - fe->pw) / 2;
 611     fe->oy = (fe->h - fe->ph) / 2;
 612
 613     fe->pixmap = gdk_pixmap_new(widget->window, fe->pw, fe->ph, -1);
 614
 615     gc = gdk_gc_new(fe->area->window);
 616     gdk_gc_set_foreground(gc, &fe->colours[0]);
 617     gdk_draw_rectangle(fe->pixmap, gc, 1, 0, 0, fe->pw, fe->ph);
 618     gdk_gc_unref(gc);
 619
 620     midend_force_redraw(fe->me);
 621
 622     return TRUE;
 623 }
 624
 625 static gint timer_func(gpointer data)
 626 {
 627     frontend *fe = (frontend *)data;
 628
 629     if (fe->timer_active) {
 630         struct timeval now;
 631         float elapsed;
 632         gettimeofday(&now, NULL);
 633         elapsed = ((now.tv_usec - fe->last_time.tv_usec) * 0.000001F +
 634                    (now.tv_sec - fe->last_time.tv_sec));
 635         midend_timer(fe->me, elapsed);  /* may clear timer_active */
 636         fe->last_time = now;
 637     }
 638
 639     return fe->timer_active;
 640 }
 641
 642 void deactivate_timer(frontend *fe)
 643 {
 644     if (fe->timer_active)
 645         gtk_timeout_remove(fe->timer_id);
 646     fe->timer_active = FALSE;
 647 }
 648
 649 void activate_timer(frontend *fe)
 650 {
 651     if (!fe->timer_active) {
 652         fe->timer_id = gtk_timeout_add(20, timer_func, fe);
 653         gettimeofday(&fe->last_time, NULL);
 654     }
 655     fe->timer_active = TRUE;
 656 }
 657
 658 static void window_destroy(GtkWidget *widget, gpointer data)
 659 {
 660     gtk_main_quit();
 661 }
 662
 663 static void msgbox_button_clicked(GtkButton *button, gpointer data)
 664 {
 665     GtkWidget *window = GTK_WIDGET(data);
 666     int v, *ip;
 667
 668     ip = (int *)gtk_object_get_data(GTK_OBJECT(window), "user-data");
 669     v = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(button), "user-data"));
 670     *ip = v;
 671
 672     gtk_widget_destroy(GTK_WIDGET(data));
 673 }
 674
 675 static int win_key_press(GtkWidget *widget, GdkEventKey *event, gpointer data)
 676 {
 677     GtkObject *cancelbutton = GTK_OBJECT(data);
 678
 679     /*
 680      * `Escape' effectively clicks the cancel button
 681      */
 682     if (event->keyval == GDK_Escape) {
 683         gtk_signal_emit_by_name(GTK_OBJECT(cancelbutton), "clicked");
 684         return TRUE;
 685     }
 686
 687     return FALSE;
 688 }
 689
 690 enum { MB_OK, MB_YESNO };
 691
 692 int message_box(GtkWidget *parent, char *title, char *msg, int centre,
 693                 int type)
 694 {
 695     GtkWidget *window, *hbox, *text, *button;
 696     char *titles;
 697     int i, def, cancel;
 698
 699     window = gtk_dialog_new();
 700     text = gtk_label_new(msg);
 701     gtk_misc_set_alignment(GTK_MISC(text), 0.0, 0.0);
 702     hbox = gtk_hbox_new(FALSE, 0);
 703     gtk_box_pack_start(GTK_BOX(hbox), text, FALSE, FALSE, 20);
 704     gtk_box_pack_start(GTK_BOX(GTK_DIALOG(window)->vbox),
 705                        hbox, FALSE, FALSE, 20);
 706     gtk_widget_show(text);
 707     gtk_widget_show(hbox);
 708     gtk_window_set_title(GTK_WINDOW(window), title);
 709     gtk_label_set_line_wrap(GTK_LABEL(text), TRUE);
 710
 711     if (type == MB_OK) {
 712         titles = "OK\0";
 713         def = cancel = 0;
 714     } else {
 715         assert(type == MB_YESNO);
 716         titles = "Yes\0No\0";
 717         def = 0;
 718         cancel = 1;
 719     }
 720     i = 0;
 721
 722     while (*titles) {
 723         button = gtk_button_new_with_label(titles);
 724         gtk_box_pack_end(GTK_BOX(GTK_DIALOG(window)->action_area),
 725                          button, FALSE, FALSE, 0);
 726         gtk_widget_show(button);
 727         if (i == def) {
 728             GTK_WIDGET_SET_FLAGS(button, GTK_CAN_DEFAULT);
 729             gtk_window_set_default(GTK_WINDOW(window), button);
 730         }
 731         if (i == cancel) {
 732             gtk_signal_connect(GTK_OBJECT(window), "key_press_event",
 733                                GTK_SIGNAL_FUNC(win_key_press), button);
 734         }
 735         gtk_signal_connect(GTK_OBJECT(button), "clicked",
 736                            GTK_SIGNAL_FUNC(msgbox_button_clicked), window);
 737         gtk_object_set_data(GTK_OBJECT(button), "user-data",
 738                             GINT_TO_POINTER(i));
 739         titles += strlen(titles)+1;
 740         i++;
 741     }
 742     gtk_object_set_data(GTK_OBJECT(window), "user-data",
 743                         GINT_TO_POINTER(&i));
 744     gtk_signal_connect(GTK_OBJECT(window), "destroy",
 745                        GTK_SIGNAL_FUNC(window_destroy), NULL);
 746     gtk_window_set_modal(GTK_WINDOW(window), TRUE);
 747     gtk_window_set_transient_for(GTK_WINDOW(window), GTK_WINDOW(parent));
 748     /* set_transient_window_pos(parent, window); */
 749     gtk_widget_show(window);
 750     i = -1;
 751     gtk_main();
 752     return (type == MB_YESNO ? i == 0 : TRUE);
 753 }
 754
 755 void error_box(GtkWidget *parent, char *msg)
 756 {
 757     message_box(parent, "Error", msg, FALSE, MB_OK);
 758 }
 759
 760 static void config_ok_button_clicked(GtkButton *button, gpointer data)
 761 {
 762     frontend *fe = (frontend *)data;
 763     char *err;
 764
 765     err = midend_set_config(fe->me, fe->cfg_which, fe->cfg);
 766
 767     if (err)
 768         error_box(fe->cfgbox, err);
 769     else {
 770         fe->cfgret = TRUE;
 771         gtk_widget_destroy(fe->cfgbox);
 772     }
 773 }
 774
 775 static void config_cancel_button_clicked(GtkButton *button, gpointer data)
 776 {
 777     frontend *fe = (frontend *)data;
 778
 779     gtk_widget_destroy(fe->cfgbox);
 780 }
 781
 782 static int editbox_key(GtkWidget *widget, GdkEventKey *event, gpointer data)
 783 {
 784     /*
 785      * GtkEntry has a nasty habit of eating the Return key, which
 786      * is unhelpful since it doesn't actually _do_ anything with it
 787      * (it calls gtk_widget_activate, but our edit boxes never need
 788      * activating). So I catch Return before GtkEntry sees it, and
 789      * pass it straight on to the parent widget. Effect: hitting
 790      * Return in an edit box will now activate the default button
 791      * in the dialog just like it will everywhere else.
 792      */
 793     if (event->keyval == GDK_Return && widget->parent != NULL) {
 794         gint return_val;
 795         gtk_signal_emit_stop_by_name(GTK_OBJECT(widget), "key_press_event");
 796         gtk_signal_emit_by_name(GTK_OBJECT(widget->parent), "key_press_event",
 797                                 event, &return_val);
 798         return return_val;
 799     }
 800     return FALSE;
 801 }
 802
 803 static void editbox_changed(GtkEditable *ed, gpointer data)
 804 {
 805     config_item *i = (config_item *)data;
 806
 807     sfree(i->sval);
 808     i->sval = dupstr(gtk_entry_get_text(GTK_ENTRY(ed)));
 809 }
 810
 811 static void button_toggled(GtkToggleButton *tb, gpointer data)
 812 {
 813     config_item *i = (config_item *)data;
 814
 815     i->ival = gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(tb));
 816 }
 817
 818 static void droplist_sel(GtkMenuItem *item, gpointer data)
 819 {
 820     config_item *i = (config_item *)data;
 821
 822     i->ival = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(item),
 823                                                   "user-data"));
 824 }
 825
 826 static int get_config(frontend *fe, int which)
 827 {
 828     GtkWidget *w, *table, *cancel;
 829     char *title;
 830     config_item *i;
 831     int y;
 832
 833     fe->cfg = midend_get_config(fe->me, which, &title);
 834     fe->cfg_which = which;
 835     fe->cfgret = FALSE;
 836
 837     fe->cfgbox = gtk_dialog_new();
 838     gtk_window_set_title(GTK_WINDOW(fe->cfgbox), title);
 839     sfree(title);
 840
 841     w = gtk_button_new_with_label("OK");
 842     gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
 843                      w, FALSE, FALSE, 0);
 844     gtk_widget_show(w);
 845     GTK_WIDGET_SET_FLAGS(w, GTK_CAN_DEFAULT);
 846     gtk_window_set_default(GTK_WINDOW(fe->cfgbox), w);
 847     gtk_signal_connect(GTK_OBJECT(w), "clicked",
 848                        GTK_SIGNAL_FUNC(config_ok_button_clicked), fe);
 849
 850     w = gtk_button_new_with_label("Cancel");
 851     gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->action_area),
 852                      w, FALSE, FALSE, 0);
 853     gtk_widget_show(w);
 854     gtk_signal_connect(GTK_OBJECT(w), "clicked",
 855                        GTK_SIGNAL_FUNC(config_cancel_button_clicked), fe);
 856     cancel = w;
 857
 858     table = gtk_table_new(1, 2, FALSE);
 859     y = 0;
 860     gtk_box_pack_end(GTK_BOX(GTK_DIALOG(fe->cfgbox)->vbox),
 861                      table, FALSE, FALSE, 0);
 862     gtk_widget_show(table);
 863
 864     for (i = fe->cfg; i->type != C_END; i++) {
 865         gtk_table_resize(GTK_TABLE(table), y+1, 2);
 866
 867         switch (i->type) {
 868           case C_STRING:
 869             /*
 870              * Edit box with a label beside it.
 871              */
 872
 873             w = gtk_label_new(i->name);
 874             gtk_misc_set_alignment(GTK_MISC(w), 0.0, 0.5);
 875             gtk_table_attach(GTK_TABLE(table), w, 0, 1, y, y+1,
 876                              GTK_EXPAND | GTK_SHRINK | GTK_FILL,
 877                              GTK_EXPAND | GTK_SHRINK | GTK_FILL,
 878                              3, 3);
 879             gtk_widget_show(w);
 880
 881             w = gtk_entry_new();
 882             gtk_table_attach(GTK_TABLE(table), w, 1, 2, y, y+1,
 883                              GTK_EXPAND | GTK_SHRINK | GTK_FILL,
 884                              GTK_EXPAND | GTK_SHRINK | GTK_FILL,
 885                              3, 3);
 886             gtk_entry_set_text(GTK_ENTRY(w), i->sval);
 887             gtk_signal_connect(GTK_OBJECT(w), "changed",
 888                                GTK_SIGNAL_FUNC(editbox_changed), i);
 889             gtk_signal_connect(GTK_OBJECT(w), "key_press_event",
 890                                GTK_SIGNAL_FUNC(editbox_key), NULL);
 891             gtk_widget_show(w);
 892
 893             break;
 894
 895           case C_BOOLEAN:
 896             /*
 897              * Simple checkbox.
 898              */
 899             w = gtk_check_button_new_with_label(i->name);
 900             gtk_signal_connect(GTK_OBJECT(w), "toggled",
 901                                GTK_SIGNAL_FUNC(button_toggled), i);
 902             gtk_table_attach(GTK_TABLE(table), w, 0, 2, y, y+1,
 903                              GTK_EXPAND | GTK_SHRINK | GTK_FILL,
 904                              GTK_EXPAND | GTK_SHRINK | GTK_FILL,
 905                              3, 3);
 906             gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(w), i->ival);
 907             gtk_widget_show(w);
 908             break;
 909
 910           case C_CHOICES:
 911             /*
 912              * Drop-down list (GtkOptionMenu).
 913              */
 914
 915             w = gtk_label_new(i->name);
 916             gtk_misc_set_alignment(GTK_MISC(w), 0.0, 0.5);
 917             gtk_table_attach(GTK_TABLE(table), w, 0, 1, y, y+1,
 918                              GTK_EXPAND | GTK_SHRINK | GTK_FILL,
 919                              GTK_EXPAND | GTK_SHRINK | GTK_FILL,
 920                              3, 3);
 921             gtk_widget_show(w);
 922
 923             w = gtk_option_menu_new();
 924             gtk_table_attach(GTK_TABLE(table), w, 1, 2, y, y+1,
 925                              GTK_EXPAND | GTK_SHRINK | GTK_FILL,
 926                              GTK_EXPAND | GTK_SHRINK | GTK_FILL,
 927                              3, 3);
 928             gtk_widget_show(w);
 929
 930             {
 931                 int c, val;
 932                 char *p, *q, *name;
 933                 GtkWidget *menuitem;
 934                 GtkWidget *menu = gtk_menu_new();
 935
 936                 gtk_option_menu_set_menu(GTK_OPTION_MENU(w), menu);
 937
 938                 c = *i->sval;
 939                 p = i->sval+1;
 940                 val = 0;
 941
 942                 while (*p) {
 943                     q = p;
 944                     while (*q && *q != c)
 945                         q++;
 946
 947                     name = snewn(q-p+1, char);
 948                     strncpy(name, p, q-p);
 949                     name[q-p] = '\0';
 950
 951                     if (*q) q++;       /* eat delimiter */
 952
 953                     menuitem = gtk_menu_item_new_with_label(name);
 954                     gtk_container_add(GTK_CONTAINER(menu), menuitem);
 955                     gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
 956                                         GINT_TO_POINTER(val));
 957                     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
 958                                        GTK_SIGNAL_FUNC(droplist_sel), i);
 959                     gtk_widget_show(menuitem);
 960
 961                     val++;
 962
 963                     p = q;
 964                 }
 965
 966                 gtk_option_menu_set_history(GTK_OPTION_MENU(w), i->ival);
 967             }
 968
 969             break;
 970         }
 971
 972         y++;
 973     }
 974
 975     gtk_signal_connect(GTK_OBJECT(fe->cfgbox), "destroy",
 976                        GTK_SIGNAL_FUNC(window_destroy), NULL);
 977     gtk_signal_connect(GTK_OBJECT(fe->cfgbox), "key_press_event",
 978                        GTK_SIGNAL_FUNC(win_key_press), cancel);
 979     gtk_window_set_modal(GTK_WINDOW(fe->cfgbox), TRUE);
 980     gtk_window_set_transient_for(GTK_WINDOW(fe->cfgbox),
 981                                  GTK_WINDOW(fe->window));
 982     /* set_transient_window_pos(fe->window, fe->cfgbox); */
 983     gtk_widget_show(fe->cfgbox);
 984     gtk_main();
 985
 986     free_cfg(fe->cfg);
 987
 988     return fe->cfgret;
 989 }
 990
 991 static void menu_key_event(GtkMenuItem *menuitem, gpointer data)
 992 {
 993     frontend *fe = (frontend *)data;
 994     int key = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
 995                                                   "user-data"));
 996     if (!midend_process_key(fe->me, 0, 0, key))
 997         gtk_widget_destroy(fe->window);
 998 }
 999
1000 static void get_size(frontend *fe, int *px, int *py)
1001 {
1002     int x, y;
1003
1004     /*
1005      * Currently I don't want to make the GTK port scale large
1006      * puzzles to fit on the screen. This is because X does permit
1007      * extremely large windows and many window managers provide a
1008      * means of navigating round them, and the users I consulted
1009      * before deciding said that they'd rather have enormous puzzle
1010      * windows spanning multiple screen pages than have them
1011      * shrunk. I could change my mind later or introduce
1012      * configurability; this would be the place to do so, by
1013      * replacing the initial values of x and y with the screen
1014      * dimensions.
1015      */
1016     x = INT_MAX;
1017     y = INT_MAX;
1018     midend_size(fe->me, &x, &y, FALSE);
1019     *px = x;
1020     *py = y;
1021 }
1022
1023 #if !GTK_CHECK_VERSION(2,0,0)
1024 #define gtk_window_resize(win, x, y) \
1025         gdk_window_resize(GTK_WIDGET(win)->window, x, y)
1026 #endif
1027
1028 static void menu_preset_event(GtkMenuItem *menuitem, gpointer data)
1029 {
1030     frontend *fe = (frontend *)data;
1031     game_params *params =
1032         (game_params *)gtk_object_get_data(GTK_OBJECT(menuitem), "user-data");
1033     int x, y;
1034
1035     midend_set_params(fe->me, params);
1036     midend_new_game(fe->me);
1037     get_size(fe, &x, &y);
1038     fe->w = x;
1039     fe->h = y;
1040     gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
1041     {
1042         GtkRequisition req;
1043         gtk_widget_size_request(GTK_WIDGET(fe->window), &req);
1044         gtk_window_resize(GTK_WINDOW(fe->window), req.width, req.height);
1045     }
1046 }
1047
1048 GdkAtom compound_text_atom, utf8_string_atom;
1049 int paste_initialised = FALSE;
1050
1051 void init_paste()
1052 {
1053     unsigned char empty[] = { 0 };
1054
1055     if (paste_initialised)
1056         return;
1057
1058     if (!compound_text_atom)
1059         compound_text_atom = gdk_atom_intern("COMPOUND_TEXT", FALSE);
1060     if (!utf8_string_atom)
1061         utf8_string_atom = gdk_atom_intern("UTF8_STRING", FALSE);
1062
1063     /*
1064      * Ensure that all the cut buffers exist - according to the
1065      * ICCCM, we must do this before we start using cut buffers.
1066      */
1067     XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
1068                     XA_CUT_BUFFER0, XA_STRING, 8, PropModeAppend, empty, 0);
1069     XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
1070                     XA_CUT_BUFFER1, XA_STRING, 8, PropModeAppend, empty, 0);
1071     XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
1072                     XA_CUT_BUFFER2, XA_STRING, 8, PropModeAppend, empty, 0);
1073     XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
1074                     XA_CUT_BUFFER3, XA_STRING, 8, PropModeAppend, empty, 0);
1075     XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
1076                     XA_CUT_BUFFER4, XA_STRING, 8, PropModeAppend, empty, 0);
1077     XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
1078                     XA_CUT_BUFFER5, XA_STRING, 8, PropModeAppend, empty, 0);
1079     XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
1080                     XA_CUT_BUFFER6, XA_STRING, 8, PropModeAppend, empty, 0);
1081     XChangeProperty(GDK_DISPLAY(), GDK_ROOT_WINDOW(),
1082                     XA_CUT_BUFFER7, XA_STRING, 8, PropModeAppend, empty, 0);
1083 }
1084
1085 /* Store data in a cut-buffer. */
1086 void store_cutbuffer(char *ptr, int len)
1087 {
1088     /* ICCCM says we must rotate the buffers before storing to buffer 0. */
1089     XRotateBuffers(GDK_DISPLAY(), 1);
1090     XStoreBytes(GDK_DISPLAY(), ptr, len);
1091 }
1092
1093 void write_clip(frontend *fe, char *data)
1094 {
1095     init_paste();
1096
1097     if (fe->paste_data)
1098         sfree(fe->paste_data);
1099
1100     /*
1101      * For this simple application we can safely assume that the
1102      * data passed to this function is pure ASCII, which means we
1103      * can return precisely the same stuff for types STRING,
1104      * COMPOUND_TEXT or UTF8_STRING.
1105      */
1106
1107     fe->paste_data = data;
1108     fe->paste_data_len = strlen(data);
1109
1110     store_cutbuffer(fe->paste_data, fe->paste_data_len);
1111
1112     if (gtk_selection_owner_set(fe->area, GDK_SELECTION_PRIMARY,
1113                                 CurrentTime)) {
1114         gtk_selection_add_target(fe->area, GDK_SELECTION_PRIMARY,
1115                                  GDK_SELECTION_TYPE_STRING, 1);
1116         gtk_selection_add_target(fe->area, GDK_SELECTION_PRIMARY,
1117                                  compound_text_atom, 1);
1118         gtk_selection_add_target(fe->area, GDK_SELECTION_PRIMARY,
1119                                  utf8_string_atom, 1);
1120     }
1121 }
1122
1123 void selection_get(GtkWidget *widget, GtkSelectionData *seldata,
1124                    guint info, guint time_stamp, gpointer data)
1125 {
1126     frontend *fe = (frontend *)data;
1127     gtk_selection_data_set(seldata, seldata->target, 8,
1128                            fe->paste_data, fe->paste_data_len);
1129 }
1130
1131 gint selection_clear(GtkWidget *widget, GdkEventSelection *seldata,
1132                      gpointer data)
1133 {
1134     frontend *fe = (frontend *)data;
1135
1136     if (fe->paste_data)
1137         sfree(fe->paste_data);
1138     fe->paste_data = NULL;
1139     fe->paste_data_len = 0;
1140     return TRUE;
1141 }
1142
1143 static void menu_copy_event(GtkMenuItem *menuitem, gpointer data)
1144 {
1145     frontend *fe = (frontend *)data;
1146     char *text;
1147
1148     text = midend_text_format(fe->me);
1149
1150     if (text) {
1151         write_clip(fe, text);
1152     } else {
1153         gdk_beep();
1154     }
1155 }
1156
1157 static void filesel_ok(GtkButton *button, gpointer data)
1158 {
1159     frontend *fe = (frontend *)data;
1160
1161     gpointer filesel = gtk_object_get_data(GTK_OBJECT(button), "user-data");
1162
1163     const char *name =
1164         gtk_file_selection_get_filename(GTK_FILE_SELECTION(filesel));
1165
1166     fe->filesel_name = dupstr(name);
1167 }
1168
1169 static char *file_selector(frontend *fe, char *title, int save)
1170 {
1171     GtkWidget *filesel =
1172         gtk_file_selection_new(title);
1173
1174     fe->filesel_name = NULL;
1175
1176     gtk_window_set_modal(GTK_WINDOW(filesel), TRUE);
1177     gtk_object_set_data
1178         (GTK_OBJECT(GTK_FILE_SELECTION(filesel)->ok_button), "user-data",
1179          (gpointer)filesel);
1180     gtk_signal_connect
1181         (GTK_OBJECT(GTK_FILE_SELECTION(filesel)->ok_button), "clicked",
1182          GTK_SIGNAL_FUNC(filesel_ok), fe);
1183     gtk_signal_connect_object
1184         (GTK_OBJECT(GTK_FILE_SELECTION(filesel)->ok_button), "clicked",
1185          GTK_SIGNAL_FUNC(gtk_widget_destroy), (gpointer)filesel);
1186     gtk_signal_connect_object
1187         (GTK_OBJECT(GTK_FILE_SELECTION(filesel)->cancel_button), "clicked",
1188          GTK_SIGNAL_FUNC(gtk_widget_destroy), (gpointer)filesel);
1189     gtk_signal_connect(GTK_OBJECT(filesel), "destroy",
1190                        GTK_SIGNAL_FUNC(window_destroy), NULL);
1191     gtk_widget_show(filesel);
1192     gtk_window_set_transient_for(GTK_WINDOW(filesel), GTK_WINDOW(fe->window));
1193     gtk_main();
1194
1195     return fe->filesel_name;
1196 }
1197
1198 static void savefile_write(void *wctx, void *buf, int len)
1199 {
1200     FILE *fp = (FILE *)wctx;
1201     fwrite(buf, 1, len, fp);
1202 }
1203
1204 static int savefile_read(void *wctx, void *buf, int len)
1205 {
1206     FILE *fp = (FILE *)wctx;
1207     int ret;
1208
1209     ret = fread(buf, 1, len, fp);
1210     return (ret == len);
1211 }
1212
1213 static void menu_save_event(GtkMenuItem *menuitem, gpointer data)
1214 {
1215     frontend *fe = (frontend *)data;
1216     char *name;
1217
1218     name = file_selector(fe, "Enter name of game file to save", TRUE);
1219
1220     if (name) {
1221         FILE *fp;
1222
1223         if ((fp = fopen(name, "r")) != NULL) {
1224             char buf[256 + FILENAME_MAX];
1225             fclose(fp);
1226             /* file exists */
1227
1228             sprintf(buf, "Are you sure you want to overwrite the"
1229                     " file \"%.*s\"?",
1230                     FILENAME_MAX, name);
1231             if (!message_box(fe->window, "Question", buf, TRUE, MB_YESNO))
1232                 return;
1233         }
1234
1235         fp = fopen(name, "w");
1236         sfree(name);
1237
1238         if (!fp) {
1239             error_box(fe->window, "Unable to open save file");
1240             return;
1241         }
1242
1243         midend_serialise(fe->me, savefile_write, fp);
1244
1245         fclose(fp);
1246     }
1247 }
1248
1249 static void menu_load_event(GtkMenuItem *menuitem, gpointer data)
1250 {
1251     frontend *fe = (frontend *)data;
1252     char *name, *err;
1253     int x, y;
1254
1255     name = file_selector(fe, "Enter name of saved game file to load", FALSE);
1256
1257     if (name) {
1258         FILE *fp = fopen(name, "r");
1259         sfree(name);
1260
1261         if (!fp) {
1262             error_box(fe->window, "Unable to open saved game file");
1263             return;
1264         }
1265
1266         err = midend_deserialise(fe->me, savefile_read, fp);
1267
1268         fclose(fp);
1269
1270         if (err) {
1271             error_box(fe->window, err);
1272             return;
1273         }
1274
1275         get_size(fe, &x, &y);
1276         fe->w = x;
1277         fe->h = y;
1278         gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
1279         {
1280             GtkRequisition req;
1281             gtk_widget_size_request(GTK_WIDGET(fe->window), &req);
1282             gtk_window_resize(GTK_WINDOW(fe->window), req.width, req.height);
1283         }
1284
1285     }
1286 }
1287
1288 static void menu_solve_event(GtkMenuItem *menuitem, gpointer data)
1289 {
1290     frontend *fe = (frontend *)data;
1291     char *msg;
1292
1293     msg = midend_solve(fe->me);
1294
1295     if (msg)
1296         error_box(fe->window, msg);
1297 }
1298
1299 static void menu_restart_event(GtkMenuItem *menuitem, gpointer data)
1300 {
1301     frontend *fe = (frontend *)data;
1302
1303     midend_restart_game(fe->me);
1304 }
1305
1306 static void menu_config_event(GtkMenuItem *menuitem, gpointer data)
1307 {
1308     frontend *fe = (frontend *)data;
1309     int which = GPOINTER_TO_INT(gtk_object_get_data(GTK_OBJECT(menuitem),
1310                                                     "user-data"));
1311     int x, y;
1312
1313     if (!get_config(fe, which))
1314         return;
1315
1316     midend_new_game(fe->me);
1317     get_size(fe, &x, &y);
1318     fe->w = x;
1319     fe->h = y;
1320     gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
1321     {
1322         GtkRequisition req;
1323         gtk_widget_size_request(GTK_WIDGET(fe->window), &req);
1324         gtk_window_resize(GTK_WINDOW(fe->window), req.width, req.height);
1325     }
1326 }
1327
1328 static void menu_about_event(GtkMenuItem *menuitem, gpointer data)
1329 {
1330     frontend *fe = (frontend *)data;
1331     char titlebuf[256];
1332     char textbuf[1024];
1333
1334     sprintf(titlebuf, "About %.200s", thegame.name);
1335     sprintf(textbuf,
1336             "%.200s\n\n"
1337             "from Simon Tatham's Portable Puzzle Collection\n\n"
1338             "%.500s", thegame.name, ver);
1339
1340     message_box(fe->window, titlebuf, textbuf, TRUE, MB_OK);
1341 }
1342
1343 static GtkWidget *add_menu_item_with_key(frontend *fe, GtkContainer *cont,
1344                                          char *text, int key)
1345 {
1346     GtkWidget *menuitem = gtk_menu_item_new_with_label(text);
1347     gtk_container_add(cont, menuitem);
1348     gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
1349                         GINT_TO_POINTER(key));
1350     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1351                        GTK_SIGNAL_FUNC(menu_key_event), fe);
1352     gtk_widget_show(menuitem);
1353     return menuitem;
1354 }
1355
1356 static void add_menu_separator(GtkContainer *cont)
1357 {
1358     GtkWidget *menuitem = gtk_menu_item_new();
1359     gtk_container_add(cont, menuitem);
1360     gtk_widget_show(menuitem);
1361 }
1362
1363 static frontend *new_window(char *game_id, char **error)
1364 {
1365     frontend *fe;
1366     GtkBox *vbox;
1367     GtkWidget *menubar, *menu, *menuitem;
1368     int x, y, n;
1369
1370     fe = snew(frontend);
1371
1372     fe->timer_active = FALSE;
1373     fe->timer_id = -1;
1374
1375     fe->me = midend_new(fe, &thegame);
1376
1377     if (game_id) {
1378         *error = midend_game_id(fe->me, game_id);
1379         if (*error) {
1380             midend_free(fe->me);
1381             sfree(fe);
1382             return NULL;
1383         }
1384     }
1385     midend_new_game(fe->me);
1386
1387     fe->window = gtk_window_new(GTK_WINDOW_TOPLEVEL);
1388     gtk_window_set_title(GTK_WINDOW(fe->window), thegame.name);
1389 #if 0
1390     gtk_window_set_resizable(GTK_WINDOW(fe->window), FALSE);
1391 #else
1392     gtk_window_set_policy(GTK_WINDOW(fe->window), FALSE, FALSE, TRUE);
1393 #endif
1394     vbox = GTK_BOX(gtk_vbox_new(FALSE, 0));
1395     gtk_container_add(GTK_CONTAINER(fe->window), GTK_WIDGET(vbox));
1396     gtk_widget_show(GTK_WIDGET(vbox));
1397
1398     menubar = gtk_menu_bar_new();
1399     gtk_box_pack_start(vbox, menubar, FALSE, FALSE, 0);
1400     gtk_widget_show(menubar);
1401
1402     menuitem = gtk_menu_item_new_with_label("Game");
1403     gtk_container_add(GTK_CONTAINER(menubar), menuitem);
1404     gtk_widget_show(menuitem);
1405
1406     menu = gtk_menu_new();
1407     gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), menu);
1408
1409     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "New", 'n');
1410
1411     menuitem = gtk_menu_item_new_with_label("Restart");
1412     gtk_container_add(GTK_CONTAINER(menu), menuitem);
1413     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1414                        GTK_SIGNAL_FUNC(menu_restart_event), fe);
1415     gtk_widget_show(menuitem);
1416
1417     menuitem = gtk_menu_item_new_with_label("Specific...");
1418     gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
1419                         GINT_TO_POINTER(CFG_DESC));
1420     gtk_container_add(GTK_CONTAINER(menu), menuitem);
1421     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1422                        GTK_SIGNAL_FUNC(menu_config_event), fe);
1423     gtk_widget_show(menuitem);
1424
1425     menuitem = gtk_menu_item_new_with_label("Random Seed...");
1426     gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
1427                         GINT_TO_POINTER(CFG_SEED));
1428     gtk_container_add(GTK_CONTAINER(menu), menuitem);
1429     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1430                        GTK_SIGNAL_FUNC(menu_config_event), fe);
1431     gtk_widget_show(menuitem);
1432
1433     if ((n = midend_num_presets(fe->me)) > 0 || thegame.can_configure) {
1434         GtkWidget *submenu;
1435         int i;
1436
1437         menuitem = gtk_menu_item_new_with_label("Type");
1438         gtk_container_add(GTK_CONTAINER(menubar), menuitem);
1439         gtk_widget_show(menuitem);
1440
1441         submenu = gtk_menu_new();
1442         gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), submenu);
1443
1444         for (i = 0; i < n; i++) {
1445             char *name;
1446             game_params *params;
1447
1448             midend_fetch_preset(fe->me, i, &name, &params);
1449
1450             menuitem = gtk_menu_item_new_with_label(name);
1451             gtk_container_add(GTK_CONTAINER(submenu), menuitem);
1452             gtk_object_set_data(GTK_OBJECT(menuitem), "user-data", params);
1453             gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1454                                GTK_SIGNAL_FUNC(menu_preset_event), fe);
1455             gtk_widget_show(menuitem);
1456         }
1457
1458         if (thegame.can_configure) {
1459             menuitem = gtk_menu_item_new_with_label("Custom...");
1460             gtk_object_set_data(GTK_OBJECT(menuitem), "user-data",
1461                                 GPOINTER_TO_INT(CFG_SETTINGS));
1462             gtk_container_add(GTK_CONTAINER(submenu), menuitem);
1463             gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1464                                GTK_SIGNAL_FUNC(menu_config_event), fe);
1465             gtk_widget_show(menuitem);
1466         }
1467     }
1468
1469     add_menu_separator(GTK_CONTAINER(menu));
1470     menuitem = gtk_menu_item_new_with_label("Load");
1471     gtk_container_add(GTK_CONTAINER(menu), menuitem);
1472     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1473                        GTK_SIGNAL_FUNC(menu_load_event), fe);
1474     gtk_widget_show(menuitem);
1475     menuitem = gtk_menu_item_new_with_label("Save");
1476     gtk_container_add(GTK_CONTAINER(menu), menuitem);
1477     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1478                        GTK_SIGNAL_FUNC(menu_save_event), fe);
1479     gtk_widget_show(menuitem);
1480     add_menu_separator(GTK_CONTAINER(menu));
1481     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Undo", 'u');
1482     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Redo", '\x12');
1483     if (thegame.can_format_as_text) {
1484         add_menu_separator(GTK_CONTAINER(menu));
1485         menuitem = gtk_menu_item_new_with_label("Copy");
1486         gtk_container_add(GTK_CONTAINER(menu), menuitem);
1487         gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1488                            GTK_SIGNAL_FUNC(menu_copy_event), fe);
1489         gtk_widget_show(menuitem);
1490     }
1491     if (thegame.can_solve) {
1492         add_menu_separator(GTK_CONTAINER(menu));
1493         menuitem = gtk_menu_item_new_with_label("Solve");
1494         gtk_container_add(GTK_CONTAINER(menu), menuitem);
1495         gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1496                            GTK_SIGNAL_FUNC(menu_solve_event), fe);
1497         gtk_widget_show(menuitem);
1498     }
1499     add_menu_separator(GTK_CONTAINER(menu));
1500     add_menu_item_with_key(fe, GTK_CONTAINER(menu), "Exit", 'q');
1501
1502     menuitem = gtk_menu_item_new_with_label("Help");
1503     gtk_container_add(GTK_CONTAINER(menubar), menuitem);
1504     gtk_widget_show(menuitem);
1505
1506     menu = gtk_menu_new();
1507     gtk_menu_item_set_submenu(GTK_MENU_ITEM(menuitem), menu);
1508
1509     menuitem = gtk_menu_item_new_with_label("About");
1510     gtk_container_add(GTK_CONTAINER(menu), menuitem);
1511     gtk_signal_connect(GTK_OBJECT(menuitem), "activate",
1512                        GTK_SIGNAL_FUNC(menu_about_event), fe);
1513     gtk_widget_show(menuitem);
1514
1515     {
1516         int i, ncolours;
1517         float *colours;
1518         gboolean *success;
1519
1520         fe->colmap = gdk_colormap_get_system();
1521         colours = midend_colours(fe->me, &ncolours);
1522         fe->ncolours = ncolours;
1523         fe->colours = snewn(ncolours, GdkColor);
1524         for (i = 0; i < ncolours; i++) {
1525             fe->colours[i].red = colours[i*3] * 0xFFFF;
1526             fe->colours[i].green = colours[i*3+1] * 0xFFFF;
1527             fe->colours[i].blue = colours[i*3+2] * 0xFFFF;
1528         }
1529         success = snewn(ncolours, gboolean);
1530         gdk_colormap_alloc_colors(fe->colmap, fe->colours, ncolours,
1531                                   FALSE, FALSE, success);
1532         for (i = 0; i < ncolours; i++) {
1533             if (!success[i])
1534                 g_error("couldn't allocate colour %d (#%02x%02x%02x)\n",
1535                         i, fe->colours[i].red >> 8,
1536                         fe->colours[i].green >> 8,
1537                         fe->colours[i].blue >> 8);
1538         }
1539     }
1540
1541     if (midend_wants_statusbar(fe->me)) {
1542         GtkWidget *viewport;
1543         GtkRequisition req;
1544
1545         viewport = gtk_viewport_new(NULL, NULL);
1546         gtk_viewport_set_shadow_type(GTK_VIEWPORT(viewport), GTK_SHADOW_NONE);
1547         fe->statusbar = gtk_statusbar_new();
1548         gtk_container_add(GTK_CONTAINER(viewport), fe->statusbar);
1549         gtk_widget_show(viewport);
1550         gtk_box_pack_end(vbox, viewport, FALSE, FALSE, 0);
1551         gtk_widget_show(fe->statusbar);
1552         fe->statusctx = gtk_statusbar_get_context_id
1553             (GTK_STATUSBAR(fe->statusbar), "game");
1554         gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx,
1555                            "test");
1556         gtk_widget_size_request(fe->statusbar, &req);
1557 #if 0
1558         /* For GTK 2.0, should we be using gtk_widget_set_size_request? */
1559 #endif
1560         gtk_widget_set_usize(viewport, -1, req.height);
1561     } else
1562         fe->statusbar = NULL;
1563
1564     fe->area = gtk_drawing_area_new();
1565     get_size(fe, &x, &y);
1566     gtk_drawing_area_size(GTK_DRAWING_AREA(fe->area), x, y);
1567     fe->w = x;
1568     fe->h = y;
1569
1570     gtk_box_pack_end(vbox, fe->area, TRUE, TRUE, 0);
1571
1572     fe->pixmap = NULL;
1573     fe->fonts = NULL;
1574     fe->nfonts = fe->fontsize = 0;
1575
1576     fe->laststatus = NULL;
1577
1578     fe->paste_data = NULL;
1579     fe->paste_data_len = 0;
1580
1581     gtk_signal_connect(GTK_OBJECT(fe->window), "destroy",
1582                        GTK_SIGNAL_FUNC(destroy), fe);
1583     gtk_signal_connect(GTK_OBJECT(fe->window), "key_press_event",
1584                        GTK_SIGNAL_FUNC(key_event), fe);
1585     gtk_signal_connect(GTK_OBJECT(fe->area), "button_press_event",
1586                        GTK_SIGNAL_FUNC(button_event), fe);
1587     gtk_signal_connect(GTK_OBJECT(fe->area), "button_release_event",
1588                        GTK_SIGNAL_FUNC(button_event), fe);
1589     gtk_signal_connect(GTK_OBJECT(fe->area), "motion_notify_event",
1590                        GTK_SIGNAL_FUNC(motion_event), fe);
1591     gtk_signal_connect(GTK_OBJECT(fe->area), "selection_get",
1592                        GTK_SIGNAL_FUNC(selection_get), fe);
1593     gtk_signal_connect(GTK_OBJECT(fe->area), "selection_clear_event",
1594                        GTK_SIGNAL_FUNC(selection_clear), fe);
1595     gtk_signal_connect(GTK_OBJECT(fe->area), "expose_event",
1596                        GTK_SIGNAL_FUNC(expose_area), fe);
1597     gtk_signal_connect(GTK_OBJECT(fe->window), "map_event",
1598                        GTK_SIGNAL_FUNC(map_window), fe);
1599     gtk_signal_connect(GTK_OBJECT(fe->area), "configure_event",
1600                        GTK_SIGNAL_FUNC(configure_area), fe);
1601
1602     gtk_widget_add_events(GTK_WIDGET(fe->area),
1603                           GDK_BUTTON_PRESS_MASK |
1604                           GDK_BUTTON_RELEASE_MASK |
1605                           GDK_BUTTON_MOTION_MASK);
1606
1607     gtk_widget_show(fe->area);
1608     gtk_widget_show(fe->window);
1609
1610     gdk_window_set_background(fe->area->window, &fe->colours[0]);
1611     gdk_window_set_background(fe->window->window, &fe->colours[0]);
1612
1613     return fe;
1614 }
1615
1616 int main(int argc, char **argv)
1617 {
1618     char *pname = argv[0];
1619     char *error;
1620
1621     if (argc > 1 && !strcmp(argv[1], "--version")) {
1622         printf("%s, from Simon Tatham's Portable Puzzle Collection\n%s\n",
1623                thegame.name, ver);
1624         return 0;
1625     }
1626
1627     /*
1628      * Special standalone mode for generating puzzle IDs on the
1629      * command line. Useful for generating puzzles to be printed
1630      * out and solved offline (for puzzles where that even makes
1631      * sense - Solo, for example, is a lot more pencil-and-paper
1632      * friendly than Net!)
1633      *
1634      * Usage:
1635      *
1636      *   <puzzle-name> --generate [<n> [<params>]]
1637      *
1638      * <n>, if present, is the number of puzzle IDs to generate.
1639      * <params>, if present, is the same type of parameter string
1640      * you would pass to the puzzle when running it in GUI mode,
1641      * including optional extras such as the expansion factor in
1642      * Rectangles and the difficulty level in Solo.
1643      *
1644      * If you specify <params>, you must also specify <n> (although
1645      * you may specify it to be 1). Sorry; that was the
1646      * simplest-to-parse command-line syntax I came up with.
1647      */
1648     if (argc > 1 && !strcmp(argv[1], "--generate")) {
1649         int n = 1;
1650         char *params = NULL, *seed = NULL;
1651         game_params *par;
1652         random_state *rs;
1653         char *parstr;
1654
1655         if (argc > 2)
1656             n = atoi(argv[2]);
1657         if (argc > 3)
1658             params = argv[3];
1659
1660         par = thegame.default_params();
1661         if (params) {
1662             if ( (seed = strchr(params, '#')) != NULL )
1663                 *seed++ = '\0';
1664             thegame.decode_params(par, params);
1665         }
1666         if ((error = thegame.validate_params(par)) != NULL) {
1667             fprintf(stderr, "%s: %s\n", pname, error);
1668             return 1;
1669         }
1670         parstr = thegame.encode_params(par, FALSE);
1671
1672         {
1673             void *seeddata;
1674             int seedlen;
1675             if (seed) {
1676                 seeddata = seed;
1677                 seedlen = strlen(seed);
1678             } else {
1679                 get_random_seed(&seeddata, &seedlen);
1680             }
1681             rs = random_init(seeddata, seedlen);
1682         }
1683
1684         while (n-- > 0) {
1685             char *aux = NULL;
1686             char *desc = thegame.new_desc(par, rs, &aux, FALSE);
1687             printf("%s:%s\n", parstr, desc);
1688             sfree(desc);
1689             sfree(aux);
1690         }
1691
1692         return 0;
1693     } else {
1694
1695         gtk_init(&argc, &argv);
1696
1697         if (!new_window(argc > 1 ? argv[1] : NULL, &error)) {
1698             fprintf(stderr, "%s: %s\n", pname, error);
1699             return 1;
1700         }
1701
1702         gtk_main();
1703     }
1704
1705     return 0;
1706 }