products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/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>
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.37Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|