products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips/tip30.html |
 |
<html><body>The
<b>Folding</b>><b>Narrow to Fold</b> command hides
all lines except those in the fold containing the caret.
When editing a file with folding, this can be used to "focus" in on a block
of code and create a less cluttered display. To
display the entire buffer again, invoke the
<b>Folding</b>><b>Expand All Folds</b> command.<p>
<b>Folding</b>><b>Narrow to Selection</b> works in a similar manner,
except it hides all lines except those in the selection, rather than
those in the current fold.
</body></html>
¤ Dauer der Verarbeitung: 0.0 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.
|