Filip Zafiroski

Changing theme in one editor should change all editors

43

monaco-editor: 0.8.0 Browser: Chrome OS: Centos 7 When I have two editors in two different html DOM elements, if I dynamically change theme on one editor using `updateOptions()` function, theme...