You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix editor focus condition for interface keybindings (#1983)
* Fix editor focus condition for interface keybindings
The when clauses for several keybindings were missing `editorTextFocus`
conditions for `ocaml.interface` due to operator precedence. This caused
the keybindings to be active even when the editor did not have focus
for interface files.
Signed-off-by: Sora Morimoto <[email protected]>
* Update CHANGELOG.md
Signed-off-by: Sora Morimoto <[email protected]>
---------
Signed-off-by: Sora Morimoto <[email protected]>
0 commit comments