(mirror) Disable Editing plugin for 1C:EDT, allows to disable edit objects in UI editors with various settings