Code Editor : source-highlight-settings