jedit_gui.props

开源的java 编辑器源代码

	"search in selection" option first.
#}}}

#{{{ Paste previous and paste deleted dialogs
paste-from-list.whitespace=<whitespace>
paste-previous.title=Paste Previous
paste-previous.caption=Recently copied and pasted text:
paste-deleted.title=Paste Deleted
paste-deleted.caption=Recently deleted text:
#}}}

#{{{ File changed on disk dialog
filechanged-save.title=File Changed on Disk
filechanged-save.message=The file {0}\n\
	has been modified on disk by another program. Are you sure\n\
	you want to continue saving it?
#}}}

#{{{ File exists dialog
fileexists.title=File Exists
fileexists.message=The file {0} already exists. Are you sure you want\n\
	to overwrite it?
#}}}

#{{{ Select line range dialog
selectlinerange.title=Select Line Range
selectlinerange.caption=Select line range:
selectlinerange.start=Start line:
selectlinerange.end=End line:
#}}}

#{{{ View registers dialog
view-registers.title=Registers
view-registers.caption=Register:
view-registers.clipboard=$ (clipboard)
view-registers.selection=% (selection)
view-registers.none=No registers defined
view-registers.register=Register:
view-registers.contents=Contents:
#}}}

#{{{ Close all buffers dialog
close.title=Unsaved Changes
close.caption=The following buffers have unsaved changes:
close.selectAll=Select All
close.selectAll.mnemonic=a
close.save=Save Selected
close.save.mnemonic=s
close.discard=Discard Selected
close.discard.mnemonic=d
#}}}

#{{{ Files changed on disk dialog
files-changed.title=Files Changed on Disk
files-changed.caption=The following files were changed on disk by another program:
files-changed.deleted=Deleted on disk; save to recreate:
files-changed.changed-auto=Automatically reloaded:
files-changed.changed=Changed on disk:
files-changed.changed-dirty-auto=Buffer dirty; not reloaded:
files-changed.changed-dirty=Buffer dirty, and file changed on disk:
files-changed.select-all=Select All
files-changed.select-all.mnemonic=a
files-changed.reload=Reload
files-changed.reload.mnemonic=r
#}}}

#{{{ Abbrev dialogs
add-abbrev.title=Add Abbreviation
add-abbrev.mode=Add mode-specific
add-abbrev.global=Add global

edit-abbrev.title=Edit Abbreviation

edit-abbrev.duplicate.title=Duplicate Abbreviation
edit-abbrev.duplicate.message=\
	Another expansion already exists with this abbreviation.\n\
	\n\
	Do you want to override the existing expansion?

abbrev-editor.abbrev=Abbreviation:
abbrev-editor.before=Text to insert before caret:
abbrev-editor.after=Text to insert after caret:
#}}}

#{{{ XMode errors
xmode-error.title=XML Parse Error
# {2} is the column number, but it's not too useful so we don't show it
xmode-error.message=An error occurred while parsing {0}, line {1}:\n\
	{3}

xmode-error.dtd=The DTD could not be loaded\n({0})
xmode-error.termchar-invalid=The value of the AT_CHAR attribute is invalid ({0})
xmode-error.doctype-invalid=Expected a document type of MODE, found {0}
xmode-error.empty-tag=The {0} tag cannot be empty
xmode-error.token-invalid=The token type {0} is invalid
xmode-error.empty-keyword=The keyword text cannot be empty
xmode-error.regexp=Invalid regular expression\n({0})
xmode-error.hash-char-invalid=HASH_CHAR must be exactly one character
xmode-error.delegate-invalid=Invalid delegate: {0}
#}}}

#{{{ JARClassLoader errors
plugin-error.title=Plugin Error
plugin-error.caption=The following plugins could not be loaded:
plugin-error.caption-1=The following plugin could not be loaded:

plugin-error.load-error=Cannot load: {0}\n\
	The most likely reason is that the JAR file is corrupt; try\n\
	reinstalling it. See Utilities->Troubleshooting->Activity Log\n\
	for a full stack trace.
plugin-error.start-error=Cannot start: {0}\n\
	Try updating to a newer version of the plugin.
plugin-error.already-loaded=Two copies installed. Please remove one of the \
	two copies.
plugin-error.dep-jdk=Requires Java {0} or later, but you only have version {1}.
plugin-error.dep-jedit=Requires jEdit {0} or later, but you only have version {1}.\n\
	Download new jEdit versions from <http://www.jedit.org>.
plugin-error.dep-plugin.no-version=Requires version {0} \
	or later of {1},\n\
	but {1} is not installed.
plugin-error.dep-plugin.broken=Requires {0}, but {0}\n\
	could not be loaded.
plugin-error.dep-plugin=Requires version {0} or later of {1}, \
	but you only have {1} version {2}.
plugin-error.dep-class=Requires the class {0}.\n\
	Try installing the appropriate plugin or class library.
plugin-error.missing-jar=Requires JAR file {0}.\n\
	This JAR file is part of this plugin, but it cannot be found.\n\
	Try reinstalling this plugin.
plugin-error.obsolete=This plugin is obsolete. Please remove it.
plugin-error.not-42=This plugin does not support dynamic loading.\n\
	You must restart jEdit after removing or installing this plugin.
#}}}

#{{{ Macro dialogs
macro-input.title=Macro Input
macro-error.title=Macro Error
macro-message.title=Macro Message
macro-confirm.title=Macro Confirmation
#}}}

#{{{ BeanShell stuff
beanshell-error.title=BeanShell Error
beanshell-error.message=A BeanShell error occurred.

beanshell-eval-input.title=Evaluate BeanShell Expression
beanshell-eval-input.message=BeanShell expression:\n\
	\n\
	Variables:\n\
	view - The current view instance\n\
	editPane - The current edit pane instance\n\
	textArea - The current text area instance\n\
	buffer - The current buffer

beanshell-eval.title=BeanShell Evaluation
beanshell-eval.message={0}

beanshell-eval-line.title=Evaluate BeanShell Expression
beanshell-eval-line.message=BeanShell expression to evaluate for each \
	selected line:\n\
	\n\
	Variables:\n\
	line - The index of the line, from the start of the buffer\n\
	index - The index of the line, from the start of the selection\n\
	text - The text of the line\n\
	view - The current view instance\n\
	editPane - The current edit pane instance\n\
	textArea - The current text area instance\n\
	buffer - The current buffer
#}}}

#{{{ Macro not recording dialog
macro-not-recording.title=Not Recording
macro-not-recording.message=A macro is not currently being recorded.
#}}}

#{{{ Large repeat count warning
large-repeat-count.title=Large Repeat Count
large-repeat-count.message=Are you sure you want to invoke "{0}" {1} times?

large-repeat-count.user-input.title=Large Repeat Count
large-repeat-count.user-input.message=Are you sure you want to insert "{0}" \
	{1} times?
#}}}

#{{{ Wrong fold mode dialog
folding-not-explicit.title=Wrong Fold Mode
folding-not-explicit.message=This command can only be used in explicit fold mode.
#}}}

#{{{ Memory status dialog box
memory-status.title=Java Heap Memory
memory-status.gc=Garbage collection released {0} Kb.
memory-status.use={0} Kb used, {1} Kb total
#}}}

#{{{ Multiple I/O request errors
buffer-multiple-io.title=I/O Error
buffer-multiple-io.message=Each buffer can only execute one input/output\n\
	operation at a time. Please wait until the current\n\
	operation finishes (or abort it in the I/O progress monitor)\n\
	before starting another one.

browser-multiple-io.title=I/O Error
browser-multiple-io.message=Each file system browser can only execute one input/output\n\
	operation at a time. Please wait until the current operation\n\
	finishes (or abort it in the I/O progress monitor) before starting\n\
	another one.
#}}}

#{{{ maxLineLen=0 warning
format-maxlinelen.title=Wrap Margin
format-maxlinelen.message=The wrap margin must be set to a non-zero value\n\
	for this command to work.
#}}}

#}}}

#{{{ Buffer options dialog
buffer-options.title=Buffer Options
buffer-options.caption=This dialog box changes settings for the current buffer\n\
	only. To change settings on an editor-wide basis, see\n\
	the Utilities->Global Options dialog box.
buffer-options.loading-saving=Loading and Saving
buffer-options.lineSeparator=Line separator:
buffer-options.encoding=Character encoding:
buffer-options.gzipped=GZIP (compress) file on disk
buffer-options.editing=Editing
buffer-options.mode=Edit mode:
#}}}

#{{{ Global options dialog
options.title=Options
options.title-template={0}: {1}
options.jedit.label=jEdit

# Option pane to show by default
options.last=editing

#{{{ Abbreviations pane
options.abbrevs.label=Abbreviations
options.abbrevs.code=new AbbrevsOptionPane();
options.abbrevs.set=Abbrev set:
options.abbrevs.expandOnInput=Space bar expands abbrevs
options.abbrevs.abbrev=Abbrev
options.abbrevs.expand=Expansion
options.abbrevs.add=Add...
options.abbrevs.edit=Edit...
options.abbrevs.remove=Remove
#}}}

#{{{ Appearance pane
options.appearance.label=Appearance
options.appearance.code=new AppearanceOptionPane();
options.appearance.lf.note=Restart jEdit for look & feel changes to take effect
options.appearance.lf=Swing look & feel:
options.appearance.primaryFont=Button, menu and label font:
options.appearance.secondaryFont=List and text field font:
options.appearance.history=History text field entries to remember:
options.appearance.menuSpillover=Number of items before menus spill over:    
options.appearance.startup.label=Startup options
options.appearance.showSplash=Show splash screen on startup
options.appearance.showTips=Show tips on startup
options.appearance.experimental.label=Experimental options
options.appearance.experimental.caption=The below three options might not work \
	correctly with some\n\
	Java versions. If you experience problems, switch them off.

options.appearance.textColors=Use jEdit text area colors in all text \
	components
options.appearance.decorateFrames=Draw window borders using Swing look & feel
options.appearance.decorateDialogs=Draw dialog box borders using Swing look & feel
#}}}

#{{{ Autosave & Backup pane
options.auto-back.label=Autosave & Backup
options.auto-back.code=new AutosaveBackupOptionPane();
options.auto-back.autosave=Autosave frequency (secs):
options.auto-back.backups=Max number of backups:
options.auto-back.backupDirectory=Backup directory:
options.auto-back.backupPrefix=Backup filename prefix:
options.auto-back.backupSuffix=Backup filename suffix:
options.auto-back.backupEverySave=Backup on every save
#}}}

#{{{ Context Menu pane
options.context.label=Context Menu
options.context.code=new ContextOptionPane();
options.context.caption=Items in text area right click menu:
options.context.add=Add...
options.context.remove=Remove
options.context.moveUp=Move Up
options.context.moveDown=Move Down
options.context.add.title=Add to Context Menu
options.context.add.caption=Add to context menu:
options.context.add.separator=Separator
options.context.add.action=Command or macro:
#}}}

#{{{ Docking pane
options.docking.label=Docking
options.docking.code=new DockingOptionPane();
options.docking.title=Window
options.docking.dockPosition=Docking position
#}}}

#{{{ Editing pane
options.editing.label=Editing
options.editing.code=new EditingOptionPane();
options.editing.defaultMode=Default edit mode:
options.editing.undoCount=Number of undos:
options.editing.caption-0=\
	To customize mode-specific settings, select an edit mode\n\
	from the below menu. Currently, global defaults are being\n\
	shown.
options.editing.caption-1=\
	Uncheck "use default settings" to customize mode-specific\n\
	settings. Otherwise, settings from the <global defaults>\n\
	section will be used.
options.editing.mode=Change settings for mode:
options.editing.global=<global defaults>
options.editing.useDefaults=Use default settings
options.editing.filenameGlob=File name glob:
options.editing.firstlineGlob=First line glob:
options.editing.folding=Folding mode:
options.editing.collapseFolds=Initially collapse folds with level:
options.editing.wrap=Word wrap:
options.editing.maxLineLen=Wrap margin:
options.editing.tabSize=Tab width:
options.editing.indentSize=Indent width:
options.editing.noWordSep=Extra word characters:
options.editing.noTabs=Soft (emulated with spaces) tabs
options.editing.deepIndent=Deep indent
#}}}

#{{{ General pane
options.general.label=General
options.general.code=new GeneralOptionPane();
options.general.lineSeparator=Default line separator:
options.general.encoding=Default character encoding:
options.general.encodingAutodetect=Auto-detect file encoding when possible
options.general.checkModStatus=If open files are changed on disk:
options.general.checkModStatus.nothing=do nothing
options.general.checkModStatus.prompt=prompt
options.general.checkModStatus.reload=automatically reload
options.general.recentFiles=Recent files to remember:
options.general.sortRecent=Sort recent file list
options.general.saveCaret=Save caret positions in recent file list
options.general.persistentMarkers=Save marker positions
options.general.restore=Restore previously open files on startup
options.general.restore.cli=... even if file names were specified on the \
	command line
options.general.sortBuffers=Sort buffer list (takes effect after restart)
options.general.sortByName=Sort buffer list by file name, instead of path name
options.general.twoStageSave=Two-stage save (safer but resets file owner on Unix)
options.general.confirmSaveAll="Save All Buffers" asks for confirmation
options.general.stripTrailingEOL=Hide final end of line (if any)
#}}}

#{{{ Gutter pane
options.gutter.label=Gutter
options.gutter.code=new GutterOptionPane();
options.gutter.lineNumbers=Line numbering
options.gutter.font=Gutter font:
options.gutter.foreground=Line number color:
options.gutter.background=Background color:
options.gutter.borderWidth=Gutter border width:
options.gutter.numberAlignment=Line number alignment:
options.gutter.interval-1=Highlight every\ 
options.gutter.interval-2=lines:
options.gutter.currentLineHighlight=Highlight current line:
options.gutter.structureHighlight=Show structure scope:
options.gutter.markerHighlight=Show marker positions:
options.gutter.foldColor=Fold markers:
options.gutter.focusBorderColor=Focused gutter border:
options.gutter.noFocusBorderColor=Unfocused gutter border:
#}}}

#{{{ Mouse pane
options.mouse.label=Mouse
options.mouse.code=new MouseOptionPane();
options.mouse.dragAndDrop=Drag and drop in text area
options.mouse.joinNonWordChars=Double-click drag joins non-alphanumeric \
	characters
options.mouse.middleMousePaste=Quick copy using middle mouse button
options.mouse.gutter.foldClick=Click in gutter:
options.mouse.gutter.SfoldClick=Shift-click in gutter:
options.mouse.gutter.toggle-fold=Collapse/expand fold
options.mouse.gutter.toggle-fold-fully=Collapse/expand fold fully
#}}}

#{{{ Plugin Manager pane
options.plugin-manager.label=Plugin Manager
options.plugin-manager.code=new PluginManagerOptionPane();
options.plugin-manager.updateMirrors=Update mirror list
options.plugin-manager.downloadSource=Download plugin source code
options.plugin-manager.deleteDownloads=Delete archives from download \
	directory after install
options.plugin-manager.mirror=Preferred download mirror:
options.plugin-manager.location=Install plugins in:
options.plugin-manager.settings-dir=jEdit settings directory
options.plugin-manager.app-dir=jEdit application directory
options.plugin-manager.none=Plugin Central default
#}}}

#{{{ Printing pane
options.print.label=Printing
options.print.code=new PrintOptionPane();
options.print.font=Print font:
options.print.fontstyle=Print font style:
options.print.fontsize=Print font size:
options.print.header=Print a header with the file name
options.print.footer=Print a footer with the date, time and page number
options.print.lineNumbers=Print line numbers
options.print.color=Color printing
options.print.tabSize=Tab width when printing:
options.print.workarounds=Workarounds for Java bugs
options.print.glyphVector=Print spacing workaround (increases spool file size)
options.print.force13=Use old printing API (enable this if jEdit hangs when \
	printing)
#}}}

#{{{ Proxy pane
options.firewall.label=Proxy Servers
options.firewall.code=new FirewallOptionPane();
options.firewall.http.enabled=Use HTTP proxy server
options.firewall.http.host=HTTP proxy host:
options.firewall.http.port=HTTP proxy port:
options.firewall.http.user=Username:
options.firewall.http.password=Password:
options.firewall.http.nonProxy=Connect directly to:
options.firewall.socks.enabled=Use SOCKS proxy server
options.firewall.socks.host=SOCKS proxy host: