GNOME Bugzilla – Bug 779971
overview map plays hide and seek with itself when mouse pointer is over it.
Last modified: 2017-03-13 09:53:55 UTC
Created attachment 347811 [details]
Builder overview map (video)
When the mouse pointer is resting over the overview map, and when the overview map is set to automatically hide, the overview map gets inconsistent.
It should simply go hidden and not show again unless the mouse pointer have moved. Or, the overview map should be kept open until the mouse pointer has left the overview map.
Please see the attached screencast. This screencast also hints the issues detailed in bug 779512.
forgot to add that I'm on X11 with gnome-shell. And the build is jhbuild from git master.
Created attachment 347816 [details] [review]
sourcemap: avoid hysteresis from mouse hover
When the mouse is hovered over the sourcemap, we would get into a situation
where it would just collapse/expand over and over again. This tracks if
we are in the map and ensures stability during that time.
Attachment 347816 [details] pushed as 213367f - sourcemap: avoid hysteresis from mouse hover