tree 4cee5338c3acdfdec96c7846158998b1f4023582
parent 4cd2e58dfbd33bd964a845e066e82af9e770a083
author Henrik Rentz-Reichert <hrr@protos.de> 1396707706 +0200
committer Henrik Rentz-Reichert <hrr@protos.de> 1396707863 +0200

Bug 431753: add properties for size of texts in graphical editors
https://bugs.eclipse.org/431753

Change-Id: I85bb8d12f5456f39e842682785dbe695ca74825d