Modified property editor to use codemirror editor