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