Listening for options changes
Offen
effort/medium
feature-request
no-autoclose
p2
- Vorherrschende Sprache
- JavaScript
- Sterne
- 27.1k
- Forks
- 5.3k
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
Hi,
is there a way to listen for changes to options? I would like to let my users to use the settings menu and then store the changes on server as defaults for next editor initialization.
Some options have their events (changeTabSize, ...), but is it possible to listen to every call of setOption()?
Beitragsleitfaden
Bewertung
Dieses Issue wurde noch nicht bewertet.