X-Git-Url: http://git.chise.org/gitweb/?a=blobdiff_plain;f=src%2Fdevice.c;h=5d6ebd995596bd033a83cdbc194dce1d0193e165;hb=2cbece6401b2279497293e6dc54cda607f49db2f;hp=25aa6887910a4bbd0987b0a07b4290871cba8437;hpb=3890a2e3064a7f562107c58e59d928284ec04741;p=chise%2Fxemacs-chise.git-

diff --git a/src/device.c b/src/device.c
index 25aa688..5d6ebd9 100644
--- a/src/device.c
+++ b/src/device.c
@@ -891,6 +891,7 @@ behavior cannot necessarily be determined automatically.
 	  MARK_FRAME_GLYPHS_CHANGED (f);
 	  MARK_FRAME_SUBWINDOWS_CHANGED (f);
 	  MARK_FRAME_TOOLBARS_CHANGED (f);
+	  MARK_FRAME_GUTTERS_CHANGED (f);
 	  f->menubar_changed = 1;
 	}
     }
@@ -990,7 +991,7 @@ size-workspace        Workspace size in pixels. This can be less than or
                       decorations. For printers, this is the size of
                       printable area.
 offset-workspace      Offset of workspace area from the top left corner
-                      of screen or paper.
+                      of screen or paper, in pixels.
 size-device-mm        Device screen size in millimeters.
 device-dpi            Device resolution, in dots per inch.
 num-bit-planes        Integer, number of device bit planes.