update_theme_scrollbar_width  128 src/gtkutil.c  static void update_theme_scrollbar_width (void);
update_theme_scrollbar_width 1478 src/gtkutil.c    update_theme_scrollbar_width ();
update_theme_scrollbar_width 6233 src/gtkutil.c    update_theme_scrollbar_width ();