| 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.13 Sekunden
(vorverarbeitet)
¤
|
Laden
Fehler beim Verzeichnis:
in der Quellcodebibliothek suchen
Die farbliche Syntaxdarstellung ist noch experimentell.
|
