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);