/lively4-RP19-4/src/external/code-mirror/mode/properties