What Font Does Sample Ecore Editor Use? [message #1851142] |
Mon, 28 March 2022 19:46  |
Eclipse User |
|
|
|
I use one of the auto-generated ecore based editors in my plugin.
I now have a user asking how to change the font and font size and I can't figure out what font in the preferences section effects the size of that editor.
FWIW, I've never been asked this.
I've deployed my plugin as an Eclipse build that runs the workbench app. Perhaps there is some plugin regarding preferences I haven't included? Changing nearly all the fonts in the Basic and Java section does not affect the font size in my auto-generate EMF editor.
Linux 64 build.
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.07256 seconds