diff --git a/src/gtkgui_helpers.py b/src/gtkgui_helpers.py index 25604d5ce64ed3a21c9bbae1a8d582161cc801c6..92e2fd793b5004e94e5d8a89855a06f462214283 100644 --- a/src/gtkgui_helpers.py +++ b/src/gtkgui_helpers.py @@ -180,3 +180,4 @@ def resize_window(window, w, h): if h > screen_h: h = screen_h window.resize(abs(w), abs(h)) +