Hi,
generally I would use UIManager.put("Tree.font", myFont) to set a font for my
JTree.
But which name is to be set if I choose to display html-styled text for my
nodes ???
(e.g. "<html><b>bold text</b></html>)
Reason: the default font does not fit with the standard font Java selects (and
that is my desired one).
Many thanks in advance,
Stefan.
_______________________________________________
Advanced-swing mailing list
[EMAIL PROTECTED]
http://eos.dk/mailman/listinfo/advanced-swing
- Re: How to set font in JTree Stefan Dingfelder
- Re: How to set font in JTree Stefan Dingfelder
