products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: tip56.html   Sprache: HTML

Original von: Isabelle©

 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)  ¤





Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




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.


Bot Zugriff