commit | 8d3e385724f660845f6104a75503063e32b39cfb | [log] [tgz] |
---|---|---|
author | Henrik Rentz-Reichert <hrr@protos.de> | Sat Apr 05 16:21:46 2014 +0200 |
committer | Henrik Rentz-Reichert <hrr@protos.de> | Sat Apr 05 16:24:23 2014 +0200 |
tree | 4cee5338c3acdfdec96c7846158998b1f4023582 | |
parent | 4cd2e58dfbd33bd964a845e066e82af9e770a083 [diff] |
Bug 431753: add properties for size of texts in graphical editors https://bugs.eclipse.org/431753 Change-Id: I85bb8d12f5456f39e842682785dbe695ca74825d