我需要从外部工具更改 Eclipse 字体设置，并且我试图找出首选项文件中不同值的含义。
在...\.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.ui.workbench.prefs
我有这些价值观：
org.eclipse.jface.textfont=1|Courier New|9.75|0|WINDOWS|1|-13|0|0|0|400|0|0|0|-18|3|2|1|49|Courier New;
我可以通过更改首选项中的字体设置来弄清楚其中一些是什么意思，但其余的呢？
这是我到目前为止发现的：
1|Courier New|9.75|0 |WINDOWS|1|-13|0|0|0|400 |0 |0 |0 |-18 |3|2|1|49|Courier New;
?|font |size|style|? |?|? |?|?|?|bold|italic|underline|strikeout|script|?|?|?|? |font ;