File: tip31.html

package info (click to toggle)
jedit 5.3.0%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 14,252 kB
  • ctags: 11,190
  • sloc: java: 98,480; xml: 94,070; makefile: 52; sh: 42; cpp: 6; python: 6
file content (12 lines) | stat: -rw-r--r-- 585 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
 
<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>