For the moment, these constants are defined programmatically and cannot
be customized through the preference pages. I've raised the following
bugzilla issue https://bugs.eclipse.org/bugs/show_bug.cgi?id=393524 to
keep track of this issue, we'll try to fix this asap.
Meanwhile, I hope this will not bother you to much.
Le 05/11/2012 10:13, Marco Descher a écrit :
> The model elements within the editor are using a very small font; Could
> you please hint me on where to change the size, resp. to what font
> element in the preferences this font is connected?
> thanks :)
as explained in the bugzilla issue
(https://bugs.eclipse.org/bugs/show_bug.cgi?id=393524), you are now able
to customize the font used to display Titles, Paragraphs and Model
Fragments from the Eclipse Preferences (General > Appearance > Colors
and Fonts > Intent).