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
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 of FontData. This value is platform specific, you will have to inspect the FontData source code for your platform to determine exactly what it means.
The org.eclipse.jface.preference.PreferenceConverter class provides various methods for converting FontData to/from this string.