]> gerrit.simantics Code Review - simantics/platform.git/commit
Listen to changes in page settings 24/4324/2
authorJussi Koskela <jussi.koskela@semantum.fi>
Wed, 17 Jun 2020 12:56:45 +0000 (15:56 +0300)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 17 Jun 2020 18:23:53 +0000 (18:23 +0000)
commit06b8d15b931929743ddc4a90b4f057552b09c2b6
tree5e8983315d8e1adccb38824acf7b27aee21c8a10
parente1aff715836a0dc6f5fc395c33a855b044f59250
Listen to changes in page settings

Also enabled the setting of KEY_DISPLAY_PAGE hint which was for some
reason disabled.

Change-Id: I8f7136adf96e806bde5aa7c99dff8ce438ba1c80
bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/sg/DiagramSceneGraphProvider.java