/jEdit/tags/jedit-4-0-pre3/org/gjt/sp/jedit/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>><b>Global 4Options</b> dialog box. 5</body></html>