PageRenderTime 71ms CodeModel.GetById 50ms app.highlight 1ms RepoModel.GetById 19ms app.codeStats 0ms

/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
1<html><body>The menu displayed when a directory is right-clicked in the
2file system browser contains a menu item, <b>Search in Directory</b>,
3which will display a search and replace dialog box set up for searching
4in all files in that directory whose names match the file name filter
5currently set in the file system browser.</body></html>