diff options
| author | Teddy Wing | 2018-10-04 00:15:23 +0200 |
|---|---|---|
| committer | Teddy Wing | 2018-10-04 00:15:23 +0200 |
| commit | 85de1bbd2ef62aa6ea9e2b13147b51ec3245face (patch) | |
| tree | a7198e8cbc76c2472e0ce3fbd3b5bf7a43382f29 | |
| parent | 548074e8b3717b9ff55edd04eebc9fef59d5b6f0 (diff) | |
| download | dome-key-map-85de1bbd2ef62aa6ea9e2b13147b51ec3245face.tar.bz2 | |
run_key_action_for_mode(): Fix in_mode deactivation
I broke deactivation of the active mode by pressing the mode trigger
sequence in 9af4701e7364dac691ce8d2f2875a974091d5453. Get it working
again.
| -rw-r--r-- | src/cocoa_bridge.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cocoa_bridge.rs b/src/cocoa_bridge.rs index 8d2f453..1b07ed0 100644 --- a/src/cocoa_bridge.rs +++ b/src/cocoa_bridge.rs @@ -225,6 +225,8 @@ mode <play><up> { // Deactivate mode by pressing current mode trigger if &in_mode[..] == trigger { state.in_mode = None; + + return; } if let Some(map) = mode.get(trigger) { |