/jEdit/tags/jedit-4-1-pre5/jars/MacOS/MacOS.props

 1#
 2# Plugin info
 3#
 4plugin.MacOSPlugin.name=Mac OS Plugin
 5plugin.MacOSPlugin.author=Kris Kopicki
 6plugin.MacOSPlugin.version=1.2.3
 7plugin.MacOSPlugin.docs=MacOS.html
 8
 9#
10# Dependencies
11#
12plugin.MacOSPlugin.depend.0=jedit 04.00.05.00
13plugin.MacOSPlugin.depend.1=jdk 1.3
14
15MacOSPlugin.depend.os.name=Mac OS X
16MacOSPlugin.depend.mrj.version=3.2
17
18#
19# Default settings
20#
21MacOSPlugin.default.scriptsFolder=scripts
22MacOSPlugin.default.type=TEXT
23MacOSPlugin.default.creator=JESP
24MacOSPlugin.default.useScreenMenuBar=false
25MacOSPlugin.default.preserveCodes=true
26MacOSPlugin.default.liveResize=false
27
28#
29# Options dialog
30#
31options.MacOSPlugin.label=Mac OS Settings
32options.MacOSPlugin.menubar.label=Enable Mac OS style menubar (not recommended)
33options.MacOSPlugin.preserve.label=Preserve existing file/creator codes on save
34options.MacOSPlugin.liveResize.label=Enable live resizing of windows
35
36#
37# Error dialogs
38#
39MacOSPlugin.dialog.osname.message=Mac OS Plugin can only be used with Mac OS X.
40MacOSPlugin.dialog.mrjversion.title=error
41MacOSPlugin.dialog.mrjversion.message=Mac OS Plugin requires a newer version of Java (MRJ {0}).