HyperSearchResults is buggy: Originally, file names should be displayed in
bold, whereas hit lines should be displayed in plain font. But it doesn't
display that way. The font changes from bold to plain and back to bold on every
entry, depending on what is currently selected. Even stranger, suddenly other
components like the buttons in die "Find" dialog switch to plain font.
(Windows/JDK 1.3.0/jEdit 3.0.2)
The only solution I could find was to delete setFont() from
HyperSearchResults.java entirly. See the attached file.
There is a small change that this fixes the "flickering" problem with docked
BufferList/JIndex, too. Gerd, could you please verify this? (If you want
I'll send to an updated jedit.jar).
Sent through GMX FreeMail - http://www.gmx.net