PageRenderTime 5378ms CodeModel.GetById 51ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 5324ms

/jEdit/tags/jedit-4-3-pre5/jars/QuickNotepad/QuickNotepad.props

#
MSBuild | 65 lines | 50 code | 15 blank | 0 comment | 6 complexity | ee149ca0d3bf54267ee3cd05573e8c41 MD5 | raw file
 1# Properties file for QuickNotepad plugin
 2# $Id: QuickNotepad.props 5520 2006-07-03 17:44:45Z vampire0 $
 3
 4# jEdit only needs to load the plugin the first time the user accesses it
 5# the presence of this property also tells jEdit the plugin is using the new API
 6plugin.QuickNotepadPlugin.activate=defer
 7
 8# These two properties are required for all plugins
 9plugin.QuickNotepadPlugin.name=QuickNotepad
10plugin.QuickNotepadPlugin.author=John Gellene
11
12# version number == jEdit version number
13plugin.QuickNotepadPlugin.version=4.3
14
15# online help
16plugin.QuickNotepadPlugin.docs=index.html
17
18# we only have one dependency, jEdit 4.2, since we use the new plugin API
19plugin.QuickNotepadPlugin.depend.0=jedit 04.02.01.00
20
21# plugin menu
22plugin.QuickNotepadPlugin.menu=quicknotepad \
23	- \
24	quicknotepad.choose-file \
25	quicknotepad.save-file \
26	quicknotepad.copy-to-buffer
27
28# action labels for actions supplied by dockables.xml
29quicknotepad.label=QuickNotepad
30
31# action labels for actions supplied by actions.xml
32quicknotepad.choose-file.label=Choose notepad file
33quicknotepad.save-file.label=Save notepad file
34quicknotepad.copy-to-buffer.label=Copy notepad to buffer
35
36# plugin option pane
37plugin.QuickNotepadPlugin.option-pane=quicknotepad
38
39# Option pane activation BeanShell snippet
40options.quicknotepad.code=new QuickNotepadOptionPane();
41
42# Option pane labels
43options.quicknotepad.label=QuickNotepad
44options.quicknotepad.file=File:
45options.quicknotepad.choose-file=Choose
46options.quicknotepad.choose-file.title=Choose a notepad file
47options.quicknotepad.choose-font=Font:
48options.quicknotepad.show-filepath.title=Display notepad file path
49
50# window title
51quicknotepad.title=QuickNotepad
52
53# window toolbar buttons
54quicknotepad.choose-file.icon=Open.png
55quicknotepad.save-file.icon=Save.png
56quicknotepad.copy-to-buffer.icon=CopyToBuffer.png
57
58# default settings
59options.quicknotepad.show-filepath=true
60options.quicknotepad.font=Monospaced
61options.quicknotepad.fontstyle=0
62options.quicknotepad.fontsize=14
63
64# Setting not defined but supplied for completeness
65options.quicknotepad.filepath=