theia-ide / sprotty

A next-gen web-based graphics framework
Apache License 2.0
138 stars 23 forks source link

Allow overriding of individual viewer options #92

Closed spoenemann closed 7 years ago

spoenemann commented 7 years ago

Currently the ViewerOptions interface has to be filled completely even when a single property needs to be set through DI for a Sprotty application. This means we would break the API if we add more options. We should define some means for setting the options partially and use the defaults for the remaining options.