<br><div class="gmail_quote">On Thu, Nov 19, 2009 at 6:02 PM, Cole Robinson <span dir="ltr"><<a href="mailto:crobinso@redhat.com">crobinso@redhat.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Yep, everything appears exactly as you described. Maybe we can stick </blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
 with the current method, but try to find a way to hide the hide/unhide </blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
the menu if we switch away from the details window, using window signals<br>
or something. This could be risky because if we had some unexpected<br> false positive or bug, the menu might not unhide. </blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
 </blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Also, this behavior reveals a small bug: we should probably kick off the<br>
menu hide timer when mouse leaves the menu, not when it enters the VNC<br>
widget. Otherwise if you switch workspaces while the mouse is over the<br> menu, it won't hide without switching back to virt-manager.<br></blockquote><div><br></div><div>The problem is that a drop down menu spawns a new window, so you will get a "leave" event on the menubar when the user opens a menu. This is why I did not connect the menu hide timer there. It also complicates your proposition of hiding the entire window using similar signals. Unless there is a good and reliable way to find out if the user is interacting with a drop down menu...</div>
<div>In any case, I don't expect to have time to look at this for the next couple of weeks. Just so you know.</div><div><br></div><div>Btw: have you given any thought to when you want to get virt-manager 0.9 out? Or what you want done before then.</div>
<div> </div></div>-- <br>Regards Jon Nordby - <a href="http://www.jonnor.com">www.jonnor.com</a><br>