diff --git a/panel/panel-window.c b/panel/panel-window.c index 4d7924c..fc3228a 100644 --- a/panel/panel-window.c +++ b/panel/panel-window.c @@ -913,6 +913,12 @@ panel_window_leave_notify_event (GtkWidget *widget, { PanelWindow *window = PANEL_WINDOW (widget); + /* simulate a geometry change to check for overlapping windows */ + if (window->autohide_behavior == AUTOHIDE_BEHAVIOR_INTELLIGENTLY) { + panel_window_active_window_geometry_changed (window->wnck_active_window, window); + return (*GTK_WIDGET_CLASS (panel_window_parent_class)->leave_notify_event) (widget, event); + } + /* queue an autohide timeout if needed */ if (event->detail != GDK_NOTIFY_INFERIOR && window->autohide_state != AUTOHIDE_DISABLED