Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: tip15.html Sprache: HTML

Original von: Isabelle^©

products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/tips/tip15.html

<html><body>If your computer has a large amount of memory, you can run
jEdit in <i>background mode</i> by passing it the
<code>-background</code> command-line switch. In background mode, jEdit
will stay running and in memory even after all views are closed. This
avoids the startup delay associated with starting jEdit multiple
times.<p>

If you also specify the <code>-nogui</code> switch, an initial view will
not be opened; so jEdit will load, but remain invisible until another
client instance is started. Using this switch, you can have jEdit loaded when
your computer starts, ready for use later on.
</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.