Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: tip86.html Sprache: HTML

Original von: Isabelle^©

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

<html><body>To quickly switch the line separator and word wrap mode from
the keyboard, assign shortcuts to the Toggle Line Separator and
Toggle Word Wrap commands in the
Shortcuts pane of the Utilities>Global Options
dialog box.</body></html>

¤ Dauer der Verarbeitung: 0.7 Sekunden (vorverarbeitet) ¤

Kontakt Drucken
Kontakt sprechenden Kalenders
in der Quellcodebibliothek suchen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.