[ jEdit-devel ] [ jedit-Bugs-411821 ] Incremental Search after startup

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

Bugs item #411821, was updated on 2001-03-27 21:57
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=411821&group_id=588

Category: search and replace
Group: normal bug
Status: Open
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Incremental Search after startup

Initial Comment:
jEdit 3.1pre3
Quick Incremental Search doesn't work after startup.
Here the scenario.
Start of jEdit.
Switch to BufferList. 
Select a session.
Select a file from the List.
Position the Cursor in the edit pane.
Select 'Quick Incremental Search'.
It doesn't work.
Now use the normal find function. It works.
After that Incremental Search works also.


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

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