Fix #25 - Add missing properties to LayoutOptions

eclipse-sprotty / sprotty-server

Server implementation for the Sprotty diagramming framework

https://eclipse.org/sprotty

Eclipse Public License 2.0

23 stars 19 forks source link

Closed tortmayr closed 5 years ago

tortmayr commented 5 years ago

Fix #25 - Add missing properties to LayoutOptions Signed-off-by: Tobias Ortmayr tortmayr@eclipsesource.com