A javascript-based property graph editor