
From what we tested the fonts in Java do not look the same as in native applications.
I take it on faith that you're correct. But it doesn't strike me as relevant. It doesn't matter that it might have looked better if you hadn't used Java. What matters is that it is not readable as it is.
Our general feeling was that the monospaced fonts set in Java are uglier :)
Again, I presume you are right, but don't think it matters. While I don't want a typeface that is horribly ugly, I will tolerate one that is quite a bit less than optimal in order to enjoy the benefits of fixed-width. This is an editor, after all, not a word processor. (That said, I could see an argument for proportional-width default in Author mode.) BTW, one of the Font settings "Text components" or "GUI" (I forget which, if I ever knew) changes the face in the XPath Builder. This is good. But is there a way to change the font in that *lovely* XPath box in the toolbar? (See next post for more on XPath Builder.)