[ jEdit-devel ] [ jedit-Bugs-1819345 ] Search in jEdit 4.3pre11

[SourceForge.net <no...@so...>]

Bugs item #1819345, was opened at 2007-10-24 14:27
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1819345&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: atg2d (atg2d)
Assigned to: Nobody/Anonymous (nobody)
Summary: Search in jEdit 4.3pre11

Initial Comment:
Hi i notice a problem in the search dialog in the new version - it doesn't refresh correctly. The search field shows old values and when i start writing it appears as if i am writing on top of that text, "Search in" and "Settings" show options as enabled but when i pass with the mouse over them they refresh to the correct value - for example when i press Ctrl-d (search in directory) the dialog appears and Current buffer is selected and Directory is not, but when i move my mouse over them the Current buffer option refreshes to unselected and Directory to selected. Has anyone noticed such behavior?
I am using jEdit 4.3pre11 with Sun JDK 1.6.0.02 [sun-jdk-1.6] on Gentoo.
I attached a screenshot of how it is looking sometimes (it doesn't have all the problems i described, only some...).
The "Search for" box contains only "topinfo" and the "Replace with" box is empty. In this screenshot "Regular expression" appeared checked too, but i accidentally moved the mouse over before making the screenshot...

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1819345&group_id=588