/jEdit/tags/jedit-4-5-pre1/doc/tips/tip4.html

# · HTML · 5 lines · 5 code · 0 blank · 0 comment · 0 complexity · 39cf1150303b3dbb8f119f097863219f MD5 · raw file 

    

  1. <html><body>You can repeat a series of keystrokes or menu item
    2. 

  2. selections any number of times. Press <b>C+m C+m</b>, followed by the
    3. 

  3. keystrokes and menu item selections. Press <b>C+m C+s</b> when finished.
    4. 

  4. Now, to repeat those actions, press <b>C+m C+p</b> as many times as
    5. 

  5. necessary.</body></html>
    6.