# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 780713857 0
# Node ID fbdd7a2e62f418bfa394946127b9c6a693bf0ce5
# Parent  41fe5f63687955f93e6d5acfc63ae457a7d9a465
(scroll_bar_pixel_width, scroll_bar_cols): Update comment.

diff -r 41fe5f636879 -r fbdd7a2e62f4 src/frame.h
--- a/src/frame.h	Tue Sep 27 23:32:55 1994 +0000
+++ b/src/frame.h	Wed Sep 28 00:57:37 1994 +0000
@@ -241,7 +241,10 @@
   /* Number of elements in the vector that have meaningful data.  */
   int menu_bar_items_used;
 
-  /* Width of the scroll bar, in pixels and in characters.  */
+  /* Width of the scroll bar, in pixels and in characters.
+     scroll_bar_cols tracks scroll_bar_pixel_width if the latter is positive;
+     a zero value in scroll_bar_pixel_width means to compute the actual width
+     on the fly, using scroll_bar_cols and the current font width.  */
   int scroll_bar_pixel_width;
   int scroll_bar_cols;
 };