Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: tip69.html Sprache: HTML

Original von: Isabelle^©

products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips/tip69.html

<html><body>
Using the search bar can be a real time saver in a lot of cases, especially
when you need to jump around between different parts of a buffer.

By default, the search bar is only shown when
one of the quick search commands are invoked; however you can specify that it
always be shown in the View pane of the Utilities>Global
Options dialog box.

The following keyboard commands deal with the search bar; you will find it
much easier to navigate around files if you memorize these:

<ul>
<li>Pressing C+, shows the search bar (if necessary) and sends keyboard
focus there.</li>
<li>Pressing C+. also shows the search bar, but pre-selects the
HyperSearch check box.</li>
<li>Pressing A+, puts the word at the caret location into the search bar.</li>
<li>Pressing A+. performs a HyperSearch for the word at the caret location.</li>
</ul>

</body></html>

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