js/propertieseditor.js