| products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips/tip56.html |
 |
<html><body>
You can click on various parts of the status bar:
<ul>
<li>Double-clicking the caret position display opens the <b>Go to Line</b>
dialog box.
<li>Double-clicking the edit mode, folding mode, or encoding indicator opens the
<b>Buffer Options</b>
dialog box.
<li>Clicking the various status flags changes them.
<li>Double-clicking the memory indicator opens the <b>Memory Status</b> dialog
box.
</ul>
To configure what components are shown in the status bar, go to the
<b>Status Bar</b> pane of the <b>Utilities</b>><b>Global Options</b> dialog
box.
</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.
|
