PageRenderTime 45ms CodeModel.GetById 20ms RepoModel.GetById 0ms 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
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0 
    

  1. <html><body>The menu displayed when a directory is right-clicked in the
    2. 

  2. file system browser contains a menu item, <b>Search in Directory</b>,
    3. 

  3. which will display a search and replace dialog box set up for searching
    4. 

  4. in all files in that directory whose names match the file name filter
    5. 

  5. currently set in the file system browser.</body></html>
    6. 

  6.