Closed
Description
monaco-editor version: 0.17.0
Browser: Edge (Chromium) Version 77.0.189.3 (Official build) dev (64-bit)
OS: Windows 10
Steps or JS usage snippet reproducing the issue:
- add handler for
onDidChangeConfiguration
- on editor surface, press Ctrl+M to toggle tab focus mode change
- event is raised and
IConfigurationChangedEvent.tabFocusMode
will be true, as expected - on editor surface, press Ctrl+M again to toggle tab focus mode (back to false)
IConfigurationChangedEvent.tabFocusMode
is still true
issue can be reproduced in the playground.
var editor = monaco.editor.create(document.getElementById("container"), {
value: "function hello() {\n\talert('Hello world!');\n}",
language: "javascript"
});
editor.onDidChangeConfiguration((e) => {
alert("Tab focus mode is " + e.tabFocusMode);
});
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment