changeset 9164:fbdd7a2e62f4

(scroll_bar_pixel_width, scroll_bar_cols): Update comment.
author Karl Heuer <kwzh@gnu.org>
date Wed, 28 Sep 1994 00:57:37 +0000
parents 41fe5f636879
children cdbd78e42e03
files src/frame.h
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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;
 };