From 978965bfa8e042b9daa2b0d4a5bc28a758a355a6 Mon Sep 17 00:00:00 2001
From: Marco Pesenti Gritti <mpg@redhat.com>
Date: Mon, 12 Mar 2007 15:30:53 +0000
Subject: Fix a race

---
(limited to 'shell')

diff --git a/shell/view/frame/frame.py b/shell/view/frame/frame.py
index d4f9bfe..de375e6 100644
--- a/shell/view/frame/frame.py
+++ b/shell/view/frame/frame.py
@@ -55,7 +55,8 @@ class _MouseListener(object):
         self._hide_sid = 0
 
     def mouse_enter(self):
-        if self._frame.mode == MODE_NONE:
+        if self._frame.mode == MODE_NONE or \
+           self._frame.mode == MODE_MOUSE:
             self._show_frame()
 
     def mouse_leave(self):
--
cgit v0.9.1