overlay renderer: avoid unnecessary cursor reset on key release or focus lost
This commit is contained in:
@@ -124,8 +124,12 @@ public class OverlayRenderer extends MouseAdapter implements KeyListener
|
|||||||
{
|
{
|
||||||
if (!event.isFocused())
|
if (!event.isFocused())
|
||||||
{
|
{
|
||||||
inOverlayManagingMode = false;
|
if (inOverlayManagingMode)
|
||||||
resetOverlayManagementMode();
|
{
|
||||||
|
inOverlayManagingMode = false;
|
||||||
|
resetOverlayManagementMode();
|
||||||
|
}
|
||||||
|
|
||||||
inMenuEntryMode = false;
|
inMenuEntryMode = false;
|
||||||
menuEntries = null;
|
menuEntries = null;
|
||||||
}
|
}
|
||||||
@@ -596,7 +600,7 @@ public class OverlayRenderer extends MouseAdapter implements KeyListener
|
|||||||
@Override
|
@Override
|
||||||
public void keyReleased(KeyEvent e)
|
public void keyReleased(KeyEvent e)
|
||||||
{
|
{
|
||||||
if (!e.isAltDown())
|
if (!e.isAltDown() && inOverlayManagingMode)
|
||||||
{
|
{
|
||||||
inOverlayManagingMode = false;
|
inOverlayManagingMode = false;
|
||||||
resetOverlayManagementMode();
|
resetOverlayManagementMode();
|
||||||
|
|||||||
Reference in New Issue
Block a user