update_theme_scrollbar_height  129 src/gtkutil.c  static void update_theme_scrollbar_height (void);
update_theme_scrollbar_height 1479 src/gtkutil.c    update_theme_scrollbar_height ();
update_theme_scrollbar_height 6234 src/gtkutil.c    update_theme_scrollbar_height ();