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

Question

有没有办法在Eclipse中为Java文本编辑器使用十进制字体大小？
默认情况下，它显示错误'大小必须是数字'。

Answer 1

没有。甚至不要尝试。

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