Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: tip2.html Sprache: HTML

Original von: Isabelle^©

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

<html><body>Pressing C+b invokes the <guimenuitem>Complete Word</guimenuitem>
action. This action searches the current buffer and the current mode's keyword list for words beginning with
the one before the caret.

 This serves as a very basic code completion feature, for example: 

<ul>
<li>When editing any kind of program source, enter the first few characters of
a previously-declared identifier name, invoke C+b, and save yourself
from having to type it out again.
<li>When editing Javadoc comments in Java source code,
enter "@" then press C+b to get a list of Javadoc tags.
<li>In a PHP file, enter a few characters and press C+b to see
a list of functions whose names start with what you entered.
</ul>

</body></html>

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