The attached patch solves this bug and updates the /usr/bin/euclide script to use scratch-text-editor instead of scratch.
The attached patch solves this bug and updates the /usr/bin/euclide script to use scratch-text-editor instead of scratch.