pgtk_scroll_bar_create 4135 src/pgtkterm.c       bar = pgtk_scroll_bar_create (w, top, left, width, max (height, 1), false);
pgtk_scroll_bar_create 4212 src/pgtkterm.c       bar = pgtk_scroll_bar_create (w, top, left, width, height, true);