products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/tips/tip24.html |
 |
<html><body><b>C+d</b> deletes the current line. <b>CS+BACK_SPACE</b>
deletes from the caret position to the beginning of the line.
<b>CS+DELETE</b> deletes from the caret position to the end of the
line.</body></html>
¤ Dauer der Verarbeitung: 0.1 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.
|