/jEdit/tags/jedit-4-0-pre5/doc/tips/tip39.html
# · HTML · 5 lines · 5 code · 0 blank · 0 comment · 0 complexity · 7341dce124fd03a2f4248c77c2a42825 MD5 · raw file
- <html><body>The menu displayed when a directory is right-clicked in the
- file system browser contains a menu item, <b>Search in Directory</b>,
- which will display a search and replace dialog box set up for searching
- in all files in that directory whose names match the file name filter
- currently set in the file system browser.</body></html>