jedit-javascriptshell/JavaScriptShell.props at master · zigmasKr/jedit-javascriptshell · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
plugin.javascriptshell.JavaScriptShellPlugin.name=JavaScript Shell
plugin.javascriptshell.JavaScriptShellPlugin.author=Jakub Roztocil, Robert Ledger
plugin.javascriptshell.JavaScriptShellPlugin.description=\
		  Provides an interactive JavaScript console and allows macros \
		  and startup scripts to be written in JavaScript.
plugin.javascriptshell.JavaScriptShellPlugin.version=0.5.1
plugin.javascriptshell.JavaScriptShellPlugin.docs=docs/index.html
plugin.javascriptshell.JavaScriptShellPlugin.activate=startup
#defer
plugin.javascriptshell.JavaScriptShellPlugin.depend.0=jedit 05.03.00.00
plugin.javascriptshell.JavaScriptShellPlugin.depend.1=jdk 1.8
plugin.javascriptshell.JavaScriptShellPlugin.depend.2=plugin console.ConsolePlugin 4.3.3

macro-handler.javascript.label=JavaScript
macro-handler.javascript.glob=*.js

javascript-error.title=JavaScript Error
javascript-error.message=A JavaScript error occurred.

console.shell.JavaScript-show.label=JavaScript Shell

### JavaScriptShell

javascriptshell.info.toggle=true
javascriptshell.info=Welcome to jEdit's JavaScriptShell interpreter (Nashorn).\
	\n\
	Remember to put the sample startup.js into your .jedit/startup folder.

javascriptshell.prompt=JavaScript>

javascript-error.title=JavaScript Error
javascript-error.message=A JavaScript error occurred.

javascriptshell.evaluate-selection.label=Evaluate selection in JavaScript
javascriptshell.evaluate-buffer.label=Evaluate buffer in JavaScript
javascriptshell.evaluate-file.label=Evaluate file in JavaScript

plugin.javascriptshell.JavaScriptShellPlugin.menu=console.shell.JavaScript-show - \
	javascriptshell.evaluate-selection \
	javascriptshell.evaluate-buffer \
	javascriptshell.evaluate-file