Clear input focus when the focused widget is hidden

diff --git a/source/panel.cpp b/source/panel.cpp
index 3123db41bccd2dc6036a7fd89a1facfdea593e06..97c9ca4f3438d336cc77f1104dcad9e2d379ecf2 100644 (file)
--- a/source/panel.cpp
+++ b/source/panel.cpp
@@ -156,6 +156,8 @@ void Panel::child_hidden(Widget &wdg)
 {
        if(&wdg==pointer_focus)
                set_pointer_focus(0, 0);
+       if(&wdg==input_focus)
+               set_input_focus(0);
 }
 
 void Panel::grab_pointer(Widget &wdg)