updated for version 7.2-203
diff --git a/src/gui.c b/src/gui.c
index 9c6e29c..c8ea70e 100644
--- a/src/gui.c
+++ b/src/gui.c
@@ -3879,6 +3879,21 @@
* Scrollbar stuff:
*/
+/*
+ * Called when something in the window layout has changed.
+ */
+ void
+gui_may_update_scrollbars()
+{
+ if (gui.in_use && starting == 0)
+ {
+ out_flush();
+ gui_init_which_components(NULL);
+ gui_update_scrollbars(TRUE);
+ }
+ need_mouse_correct = TRUE;
+}
+
void
gui_update_scrollbars(force)
int force; /* Force all scrollbars to get updated */