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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: tip9.html   Sprache: HTML

<html><body>You can view multiple buffers at a time, in one single view.
<b>C+2</b> splits the view horizontally. <b>C+3</b> splits
the view vertically. <b>C+1</b> removes all splits from the
view. <b>C+0</b> removes the currently focused split from the view. jEdit remembers if the view was split between editing sessions.
</body></html>

[ Seitenstruktur0.1Drucken  etwas mehr zur Ethik  ]