products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips/tip4.html |
 |
<html><body>You can repeat a series of keystrokes or menu item
selections any number of times. Press <b>C+m C+m</b>, followed by the
keystrokes and menu item selections. Press <b>C+m C+s</b> when finished.
Now, to repeat those actions, press <b>C+m C+p</b> as many times as
necessary.</body></html>
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|