PageRenderTime 57ms CodeModel.GetById 54ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/doc/tips/tip35.html

#
HTML | 6 lines | 6 code | 0 blank | 0 comment | 0 complexity | 9f8a61ff22b498faa99845ad3e0aaa85 MD5 | raw file 
1<html><body>
2If you are used to Unix text editors where a middle-mouse button
3click inserts the most recently selected text, enable <b>quick copy</b> in
4the <b>Text Area</b> pane of the <b>Utilities</b>&gt;<b>Global
5Options</b> dialog box.
6</body></html>