Can I use a font size of 10.5 in Eclipse? 10 is too small, and 11 is too large, but I cannot enter 10.5 in the font size dialog box, since it needs an integer. Can this setting be changed elsewhere?
I don’t think it’s possible, because the whole SWT Font API uses an integer as the height of the font, and Eclipse builds on SWT.