The main grid outline in Pattern was asymmetric between the top/left

edges and the bottom/right ones. Fix it. (Also remove it from the
todo list in osx.m, where I had entered it in the assumption that it
was a bug in my new OS X port! Turns out it's an entirely platform-
independent bug.)

[originally from svn r5187]

diff --git a/osx.m b/osx.m
index e0a35b443b9b41feb5e1aac22cf59861da1cd787..d5fab208b1b8372872a2af8f113506c0efc482a0 100644 (file)
--- a/osx.m
+++ b/osx.m
@@ -8,9 +8,6 @@
  *    think help is HTML round here anyway so perhaps we can work
  *    with what we already have.
  * 
- *  - Why are the right and bottom edges of the Pattern grid one
- *    pixel thinner than they should be?
- * 
  * Mac interface issues that possibly could be done better:
  * 
  *  - is there a better approach to frontend_default_colour?

diff --git a/pattern.c b/pattern.c
index 8f3570580515ba3f6a4247a8b26efbd7f72dc1d9..91b1a2fb50274027c27f0f8b2120df8a5f763921 100644 (file)
--- a/pattern.c
+++ b/pattern.c
@@ -903,7 +903,7 @@ static void game_redraw(frontend *fe, game_drawstate *ds, game_state *oldstate,
          * Draw the grid outline.
          */
         draw_rect(fe, TOCOORD(ds->w, 0) - 1, TOCOORD(ds->h, 0) - 1,
-                  ds->w * TILE_SIZE + 2, ds->h * TILE_SIZE + 2,
+                  ds->w * TILE_SIZE + 3, ds->h * TILE_SIZE + 3,
                   COL_GRID);
 
         ds->started = TRUE;