PR# 4278 Moving a tool bar item while the mouse is over it does not cause the frame to disappear if the tool
Problem Report Summary
Submitter: nick.allen
Category: EiffelVision
Priority: Low
Date: 2005/02/09
Class: Bug
Severity: Non-critical
Number: 4278
Release: 5.5
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.5) Gecko/20041111 Firefox/1.0
Synopsis: Moving a tool bar item while the mouse is over it does not cause the frame to disappear if the tool
Description
If a tool bar item is moved while the mouse is over it, such that the mouse is no longer over it, then the frame (border) is still present. The only way to get rid of the border is to move the mouse back over it and then out of it again. This does not happen on Windows (only on Gtk). It might be caused by a more generic problem of the mouse move outside event not being generated if the widget is moved programatically so that the mouse is outside it although I am not sure this is the cause.
To Reproduce
Problem Report Interactions