[ jEdit-devel ] [ jedit-Bugs-602391 ] No search bar in jEdit 4.1?

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

Bugs item #602391, was opened at 2002-08-30 05:48
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=602391&group_id=588

Category: editor core
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: No search bar in jEdit 4.1?

Initial Comment:
I hope I didn't miss an obvious setting, but I don't see 
the search bar in jEdit 4.1Pre4 (search text, regular 
expression check box, hypertext check box). Has this 
really gone, or is there an option to display this?

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

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