| products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/tips/tip34.html |
 |
<html><body>
<p>
You can replace all occurrences of a specific string or regular
expression with the return value of a BeanShell script if the
<b>Return value of a BeanShell
snippet</b> radio button is selected in the search dialog box.<p>
</p>
<p>
You can use
this, for example, to convert all tags in an HTML file to lower case, by
searching for the following regular expression:
</p>
<p>
<code><(.+?)></code>
<p>
And entering the following in the replace text field:
<p>
<code>"<" + _1.toLowerCase() + ">"</code>
</body></html>
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
