在 Eclipse 中为 Java 文本编辑器使用十进制字体大小的任何方法？

Question

有没有办法在 Eclipse 中为 Java 文本编辑器使用十进制字体大小？
默认显示错误 'Size must be a number'.

Answer 1

没有。甚至不要尝试。

虽然可以编辑磁盘上的首选项文件或将其导出，更改字体大小并再次导入，但所有重要位置的内部字段类型都是 int（就像文本编辑器计算行高）。因此，即使您可以走私十进制值，也会在许多地方造成大量问题。