[Imported PR] Added missing File Editor functionality #131
Labels
component:python-editor
Python editor
kind:bug
Something isn't working
kind:enhancement
New feature or request
Milestone
Some functionality of file editor is in the activate function of
fileeditor-extension. This add that missing functionality.
Checks for changes and updates the extension config when there
are changes to the fileeditor-extension settings. This enables
all msiing functionality based on settings values.
Enables Undo/Redo functionality.
Enables some editor view options not controlled by configs
Fixes #43
The text was updated successfully, but these errors were encountered: