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

# · HTML · 2 lines · 2 code · 0 blank · 0 comment · 0 complexity · 80195200ffbc9b69dcdfe717509c28e8 MD5 · raw file 

    

  1. <html><body>When you open a recent file, the caret is automatically
    2. 

  2. restored to its previous position within that file.</body></html>
    3.