PageRenderTime 81ms CodeModel.GetById 40ms app.highlight 0ms RepoModel.GetById 40ms app.codeStats 0ms

/jEdit/tags/jedit-4-3-pre5/doc/tips/tip95.html

#
HTML | 1 lines | 1 code | 0 blank | 0 comment | 0 complexity | aeb07d8576540568a780e43be02433e1 MD5 | raw file
1<html><body>Suppose you delete a few lines of code, make some further changes, then realize you want the lines of code back. While you just could copy your changes to the clipboard, undo a bunch of times, and paste, there is an easier way. Simply press <b>C+e C+y</b> which will open a dialog box listing the 20 most recently deleted runs of text.</body></html>