PageRenderTime 125ms CodeModel.GetById 123ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-1-pre5/doc/tips/tip53.html

#
HTML | 5 lines | 5 code | 0 blank | 0 comment | 0 complexity | 4b8e885eca088b91098d9997d90cf214 MD5 | raw file
1<html><body>
2The file system browser and many plugin windows can be set to dock into
3the view in the <b>Docking</b> pane of the <b>Utilities</b>&gt;<b>Global
4Options</b> dialog box.
5</body></html>