Is there any chance that the font that is chosen for text could also be used in the search dialog box? I'm editing text that contains Bengali words in Unicode (OK, I admit that probably isn't a common use...). If I choose the Vrinda font for my text, the Bengali characters show up reasonably well (although jEdit isn't displaying some of the messier things right--XMLmind, which is also written in Java, manages to display Bengali text correctly, so I know this isn't impossible). But when I paste Bengali text into the search dialog box, I get little squares (two for each Bengali character, since they take two bytes in UTF-8). Likewise if I choose Arial Unicode MS.

I realize there may be problems with following the user's choice of font size, e.g. if I choose 24 point Vrinda, XMLmind will probably have to use 12 point in the dialog box (or else do a lot of re-sizing). But I believe the font choice could be preserved.

Mike Maxwell