Resized the graphics slightly. The walls are thinner, the padding is smaller, and

[grrobot] / src / grr_board_view.c

diff --git a/src/grr_board_view.c b/src/grr_board_view.c
index e06f279b1594f2f9724b1c736c92ea632e271e98..863ac2005c3f98f2346762483f0e2bd5b93af97c 100644 (file)
--- a/src/grr_board_view.c
+++ b/src/grr_board_view.c
@@ -305,8 +305,8 @@ grr_board_view_draw_cell (grr_board_view_t  *view,
     grr_board_view_draw_walls (view, xrs, RR_CELL_GET_WALLS (cell));
     XrRestore (xrs);
 
-    xpad = width / 5;
-    ypad = width / 5;
+    xpad = width / 10;
+    ypad = width / 10;
 
     XrSave (xrs);
     XrTranslate (xrs, xpad, ypad);
@@ -328,9 +328,9 @@ grr_board_view_draw_cell (grr_board_view_t  *view,
        XrScale (xrs,
                 width / GRR_SVG_ASSUMED_WIDTH,
                 height / GRR_SVG_ASSUMED_HEIGHT);
-       XrRectangle (xrs, 0, 0,
-                    GRR_SVG_ASSUMED_WIDTH,
-                    GRR_SVG_ASSUMED_HEIGHT);
+       XrRectangle (xrs, 1, 1,
+                    GRR_SVG_ASSUMED_WIDTH - 1,
+                    GRR_SVG_ASSUMED_HEIGHT - 1);
        XrSetRGBColor (xrs, 1, 1, 1);
        XrSetAlpha (xrs, 0.75);
        XrFill (xrs);
@@ -457,23 +457,6 @@ grr_board_view_expose (GtkWidget      *widget,
        }
     }
 
-    /* Draw grid. */
-    XrSave (xrs);
-    {
-       XrSetRGBColor (xrs, .75, .75, 1);
-       XrSetLineWidth (xrs, 1);
-       for (j=0; j < view->board_height; j++) {
-           XrMoveTo (xrs, 0, j * view->cell_height + 0.5);
-           XrRelLineTo (xrs, view->board_width * view->cell_width, 0);
-       }
-       for (i=0; i < view->board_width; i++) {
-           XrMoveTo (xrs, i * view->cell_width + 0.5, 0);
-           XrRelLineTo (xrs, 0, view->board_height * view->cell_height);
-       }
-       XrStroke (xrs);
-    }
-    XrRestore (xrs);
-
     /* Draw goal target in center of board */
     XrSave (xrs);
     {