From: Reino Ruusu <reino.ruusu@semantum.fi>
Date: Thu, 16 Apr 2020 10:11:53 +0000 (+0300)
Subject: APIs for skipping state restoration for non-undo synchronization events
X-Git-Tag: v1.43.0~41
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=0eaae0828f2ca4a420afe3a35014c941852b2583;hp=0eaae0828f2ca4a420afe3a35014c941852b2583;p=simantics%2Fplatform.git

APIs for skipping state restoration for non-undo synchronization events

gitlab #520

Change-Id: I50491d4b514db05b8854bcbefff58e7bb9c3b13e
(cherry picked from commit 9ecf695514f0a6faaadf3f912e7a85ccec3d8865)
---