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

# · HTML · 2 lines · 2 code · 0 blank · 0 comment · 0 complexity · 7194e5aac853912eb6039114e9fe4fd8 MD5 · raw file 

    

  1. <html><body>The locations of markers are saved to <tt>.<i>file
    2. 

  2. name</i>.marks</tt>.</body></html>
    3.