Trying to set a font size below 8 in Eclipse 3.7 I stubled upon a line in
.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.ui.workbench.prefs
This is the line:
org.eclipse.jface.textfont=1|Envy Code R|7.75|0|WINDOWS|1|-11|0|0|0|400|0|0|0|0|3|2|1|49|Envy Code R;
Someone knows what the various pieces (devided by a |) mean?
The value is the string returned by the
toString()method ofFontData. This value is platform specific, you will have to inspect theFontDatasource code for your platform to determine exactly what it means.The
org.eclipse.jface.preference.PreferenceConverterclass provides various methods for convertingFontDatato/from this string.