Implemented ticket #211
"Add a command for reloading a file in the editor"
Only implemented rudimentary functionality. Implementation in kernel/core/built-in.cpp has to improved
Authored by: numere 2017-07-01
Parent: [r165]
Child: [r167]