Code Editor : options.h