Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: tip87.html Sprache: HTML

Original von: Isabelle^©

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

<html><body>If you have a mouse with a scroll wheel, you can use the
wheel to scroll up and down in the text area. Various modifier keys
change the action of the wheel:

<ul>
<li>Shift - scrolls an entire page at a time.
<li>Control - scrolls a single line at a time.
<li>Alt - moves the caret up and down instead of scrolling.
<li>Alt-Shift - extends the selection up and down instead of scrolling.
</ul>

</body></html>

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