| products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/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.<p>
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 <b>View</b> pane of the <b>Utilities</b>><b>Global
Options</b> dialog box.<p>
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 <b>C+,</b> shows the search bar (if necessary) and sends keyboard
focus there.</li>
<li>Pressing <b>C+.</b> also shows the search bar, but pre-selects the
<b>HyperSearch</b> check box.</li>
<li>Pressing <b>A+,</b> puts the word at the caret location into the search bar.</li>
<li>Pressing <b>A+.</b> performs a HyperSearch for the word at the caret location.</li>
</ul>
</body></html>
¤ Dauer der Verarbeitung: 0.19 Sekunden
(vorverarbeitet)
¤
|
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.
|
