(scroll_bar_pixel_width, scroll_bar_cols): Update comment.

diff --git a/src/frame.h b/src/frame.h
index 53c0401d43b476ee97fd12ec4a99d6483aad25b4..f714fc063ce5c686ab7a940d7376eb0a5e85657c 100644 (file)
--- a/src/frame.h
+++ b/src/frame.h
@@ -241,7 +241,10 @@ struct frame
   /* 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;
 };