products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips/tip55.html |
 |
<html><body>
The <b>Utilities</b>><b>BeanShell</b>><b>Evaluate For Selected Lines</b> command
evaluates the specified BeanShell expression for each selected line,
replacing the contents of that line with the return value of the
expression.<p>
For example, you can use this to add a line number to each selected
line, by evaluating the following expression:<p>
<code>(index+1) + " " + text</code><p>
Or you can add a prefix and suffix to each selected line, with this
expression:<p>
<code>"<listitem>" + text + "</listitem>"</code>
</body></html>
¤ Dauer der Verarbeitung: 0.0 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.
|