Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: GCGarbageCollectionUtil.java Sprache: HTML

Original von: Isabelle^©

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

<html><body>

In jEdit 4.1, the "smart home/end" setting was removed. Now, the
behavior of the HOME and END keys can be configured in the Shortcuts
pane of the Global Options dialog box, just as with any other key. The
HOME key can be bound to one of the following commands, for example:

<ul>
<li>Go to Start of Line
<li>Go to Start of White Space
<li>Go to Start of Buffer
<li>Smart Home (default three-keystroke behavior)
</ul>

The END key can be bound to one of these commands:

<ul>
<li>Go to End of Line
<li>Go to End of White Space
<li>Go to End of Buffer
<li>Smart End (default three-keystroke behavior)
</ul>

There are corresponding "Select to..." commands that can be bound to
S+HOME and S+END too.

</body></html>

¤ Dauer der Verarbeitung: 0.1 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.