Works great, would recommend one minor change…

This plugin works great when editing Theme or Plugin files via the WP Admin GUI, but when you’re editing a Post or Page, instead of saving, it publishes…

I’ve deactivated it until that is changed, simply too easy to accidentally publish content that isn’t ready yet.

Atg