| products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/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.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.
|
