Changing interpreter doesn't work without Enki restart

andreikop / enki

A text editor for programmers

http://enki-editor.org

GNU General Public License v2.0

161 stars 38 forks source link

Changing interpreter doesn't work without Enki restart #448

Open abitrolly opened 5 years ago

abitrolly commented 5 years ago

After changing interpreter setting, stopping and starting interpreter (Pause, Ctrl-E) without restarting Enki has no effect. Maybe it should warn that editor restart is required, but I see no reason why it can not just use the new setting.