modified sourceeditor.h : fixed a minor bug in sourceeditor.h