From: Tuukka Lehtonen Date: Wed, 7 Feb 2018 07:08:13 +0000 (+0200) Subject: Merge "Customisable selection padding on diagrams" X-Git-Tag: v1.43.0~136^2~602 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=0bb744e04ba4c0ac9304fa88caf8e4ba3e9bd2ed;p=simantics%2Fplatform.git Merge "Customisable selection padding on diagrams" --- 0bb744e04ba4c0ac9304fa88caf8e4ba3e9bd2ed