From: jsimomaa Date: Tue, 18 Jul 2017 10:51:43 +0000 (+0300) Subject: Change default "Eclipse Launcher" shell title from workspace launcher X-Git-Tag: v1.31.0~266 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=8507ce2f8078528dab1f6b942d825f339f6b22d0;hp=8507ce2f8078528dab1f6b942d825f339f6b22d0;p=simantics%2Fplatform.git Change default "Eclipse Launcher" shell title from workspace launcher refs #7358 Change-Id: I4919b533cb980dd6730fa7915507ddaac2cafab4 ---