Можно ли использовать размер шрифта 10,5 в Eclipse?10 слишком мало, а 11 слишком велико, но я не могу ввести 10,5 в диалоге размера шрифта, так как для него требуется целое числоМожет ли этот параметр быть изменен где-то еще?
Я не думаю, что это возможно, потому что весь API шрифтов SWT использует целое число в качестве высоты шрифта, а Eclipse основывается на SWT.