# Properties file for QuickNotepad plugin# $Id: QuickNotepad.props,v 1.11 2003/02/09 20:37:14 spestov Exp $# general plugin informationplugin.QuickNotepadPlugin.name=QuickNotepadplugin.QuickNotepadPlugin.author=John Gellene# version number == jEdit version numberplugin.QuickNotepadPlugin.version=4.1plugin.QuickNotepadPlugin.docs=QuickNotepad.htmlplugin.QuickNotepadPlugin.depend.0=jedit 04.01.01.00# action labels for actions supplied by dockables.xmlquicknotepad.label=QuickNotepad# action labels for actions supplied by actions.xmlquicknotepad.choose-file.label=Choose notepad filequicknotepad.save-file.label=Save notepad filequicknotepad.copy-to-buffer.label=Copy notepad to buffer# application menu itemsquicknotepad.menu.label=QuickNotepadquicknotepad.menu=quicknotepad - quicknotepad.choose-file \	quicknotepad.save-file quicknotepad.copy-to-buffer# window titlequicknotepad.title=QuickNotepad# plugin toolbar buttonsquicknotepad.choose-file.icon=Open.pngquicknotepad.save-file.icon=Save.pngquicknotepad.copy-to-buffer.icon=CopyToBuffer.png# Option pane labelsoptions.quicknotepad.label=QuickNotepadoptions.quicknotepad.file=File:options.quicknotepad.choose-file=Chooseoptions.quicknotepad.choose-file.title=Choose a notepad fileoptions.quicknotepad.choose-font=Font:options.quicknotepad.show-filepath.title=Display notepad file path# Initial default settingsoptions.quicknotepad.show-filepath=trueoptions.quicknotepad.font=Monospacedoptions.quicknotepad.fontstyle=0options.quicknotepad.fontsize=14# Setting not defined but supplied for completenessoptions.quicknotepad.filepath=