Reset potential column selection cursor on caret blink

Sometimes the cursor gets stuck and there is really no workaround other than periodically reset the image.
This commit is contained in:
Allan Odgaard
2012-09-17 21:12:17 +02:00
parent ebbd58c513
commit 8f7346ee3e

View File

@@ -1691,6 +1691,10 @@ static void update_menu_key_equivalents (NSMenu* menu, action_to_key_t const& ac
AUTO_REFRESH;
layout->set_draw_caret(hideCaret);
hideCaret = !hideCaret;
// The column selection cursor may get stuck if e.g. using ⌥F2 to bring up a menu: We see the initial “option down” but newer the “option release” that would normally reset the column selection cursor state.
if(([NSEvent modifierFlags] & NSAlternateKeyMask) == 0)
self.showColumnSelectionCursor = NO;
}
- (void)setShowColumnSelectionCursor:(BOOL)flag