That seems like a positive change to me.

Still, this is a change to public API, which means we should probably deprecate the old API and not just remove it. You could use the [Brackets Extension Grabber](https://github.com/dangoor/BracketsExtensionGrabber) to see if there are any extensions that call `Editor.set*` or `Editor.get*`, or you could just add deprecation warnings.