#3791 jEdit breaks "autohide taskbar" on Windows 7

normal bug
open
nobody
5
2013-10-07
2013-03-21
Ronald
No
0 up votes | 0 down votes | 0%
0 comments

I have configured Windows 7 in the following way:

- The taskbar is set to "auto-hide"
- The mouse is set to "focus follows mouse / autorise", i.e. when I move the mouse over some window, the window gets the focus and is brought to front

If (and only if) I move the mouse over the jEdit window, the window is NOT brought to front and also doesn't seem to get the focus. Instead the taskbar unhides, covering part of my desktop, and stays in this position. Only after I actively *click* into the jEdit window, the taskbar hides again.

Discussion

  • Alan Ezust
    Alan Ezust
    2013-10-07

    • labels: 102668 --> Windows Specific