外部ツールから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 ;