PageRenderTime 29ms CodeModel.GetById 26ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre5/doc/tips/tip7.html

#
HTML | 5 lines | 5 code | 0 blank | 0 comment | 0 complexity | df9c75cf9dd53a8050c33871bb8196ca MD5 | raw file
1<html><body>You can browse directories and rename or delete files in the
2<b>Utilities</b>&gt;<b>File System Browser</b> window.
3If you want the file system browser window to dock into the current
4view, specify so in the <b>Docking</b> pane of the
5<b>Utilities</b>&gt;<b>Global Options</b> dialog box.</body></html>