Update source-editor.cpp