Code Editor : properties.aug