Includes features: mdenet/educationplatform#131 console scroll to bottom, mdenet/educationplatform#130 hide save button, mdenet/educationplatform#137 customisable trusted origin, and mdenet/platformtools#23 reduce console log.
fixed mdenet/educationplatform#132 saving not working in generated editors and mdenet/platformtools#28 updated Xtext nodejs version.
Includes features: mdenet/educationplatform#131 console scroll to bottom, mdenet/educationplatform#130 hide save button, mdenet/educationplatform#137 customisable trusted origin, and mdenet/platformtools#23 reduce console log.
fixed mdenet/educationplatform#132 saving not working in generated editors and mdenet/platformtools#28 updated Xtext nodejs version.