Code Editor : test_properties.aug