SourceEditor class : various speed improvements