products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/tips/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: tip31.html   Sprache: HTML

Original von: Isabelle©
 products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/tips/tip31.html


<html><body>
Any scripts located in the <code>startup</code> subdirectory of the
jEdit home and user settings directories will be run on jEdit startup. Scripts can
be written in BeanShell or any scripting language for which the appropriate
plugin is installed (for example, Python scripting is provided by the
<b>JythonInterpreter</b> plugin).<p>

Methods
and variables defined in BeanShell scripts are available to all other uses of
BeanShell in jEdit. This is different from macros; methods and variables defined
in macros are lost after the macro finishes executing.
</body></html>

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


Bot Zugriff