/lively4-livelyenergy/src/external/code-mirror/mode/properties