# HG changeset patch # User Eli Zaretskii # Date 1008237364 0 # Node ID 06231786ed812db5cdfd26f4193491bd49fcb9c7 # Parent c22975f132d0a69792e4942cec8e410e8eaff92f (Frame_parameters): Makes the scroll-bar-width frame parameter have a numeric value all the time. diff -r c22975f132d0 -r 06231786ed81 src/xfns.c --- a/src/xfns.c Thu Dec 13 08:02:09 2001 +0000 +++ b/src/xfns.c Thu Dec 13 09:56:04 2001 +0000 @@ -1206,6 +1206,10 @@ make_number (f->output_data.x->left_fringe_width)); store_in_alist (alistptr, Qright_fringe, make_number (f->output_data.x->right_fringe_width)); + store_in_alist (alistptr, Qscroll_bar_width, + make_number (FRAME_HAS_VERTICAL_SCROLL_BARS (f) + ? FRAME_SCROLL_BAR_PIXEL_WIDTH(f) + : 0)); sprintf (buf, "%ld", (long) FRAME_X_WINDOW (f)); store_in_alist (alistptr, Qwindow_id, build_string (buf));