/plugins/Highlight/tags/V_1_4_1/src/Highlight.props
# · MSBuild · 83 lines · 71 code · 12 blank · 0 comment · 0 complexity · e6116a264f5ad5c35b0ca893ec9eb154 MD5 · raw file
- # Highlight jEdit Plugin
- # Author: Matthieu Casanova
-
- plugin.gatchan.highlight.HighlightPlugin.activate=startup
- plugin.gatchan.highlight.HighlightPlugin.name=Highlight
- plugin.gatchan.highlight.HighlightPlugin.author=Matthieu Casanova
- plugin.gatchan.highlight.HighlightPlugin.version=1.4.1
- plugin.gatchan.highlight.HighlightPlugin.docs=Highlight.html
- plugin.gatchan.highlight.HighlightPlugin.depend.0=jdk 1.4
- plugin.gatchan.highlight.HighlightPlugin.depend.1=jedit 04.03.05.00
- plugin.gatchan.highlight.HighlightPlugin.menu=\
- gatchan-highlight-dialog \
- - \
- gatchan-highlight \
- gatchan-highlight-session \
- gatchan-highlight-buffer \
- gatchan-highlight-entireword \
- gatchan-highlight-entireword-session \
- gatchan-highlight-entireword-buffer \
- gatchan-highlightcurrentSearch \
- gatchan-highlightcurrentSearch-session \
- gatchan-highlightcurrentSearch-buffer \
- - \
- gatchan-removeAllHighlights \
- gatchan-enableHighlights \
- gatchan-disableHighlights \
- gatchan-toggleHighlights \
- - \
- highlighter-panel \
-
- gatchan-highlight.label=Highlight
- gatchan-highlight-session.label=Highlight (session scope)
- gatchan-highlight-buffer.label=Highlight (buffer scope)
- gatchan-highlight-entireword.label=Highlight entire word
- gatchan-highlight-entireword-session.label=Highlight entire word (session scope)
- gatchan-highlight-entireword-buffer.label=Highlight entire word (buffer scope)
- gatchan-highlight-dialog.label=Highlight dialog
- gatchan-highlightcurrentSearch.label=Highlight current search
- gatchan-highlightcurrentSearch-session.label=Highlight current search (session scope)
- gatchan-highlightcurrentSearch-buffer.label=Highlight current search (buffer scope)
- gatchan-removeAllHighlights.label=Remove all
- gatchan-enableHighlights.label=Enable highlights
- gatchan-disableHighlights.label=Disable highlights
- gatchan-toggleHighlights.label=Toggle highlights on/off
-
- highlighter-panel.title=Highlighter
- highlighter-panel.label=Highlighter panel
-
- gatchan-highlight.errordialog.invalidHighlight.message = Invalid highlight
- gatchan-highlight.errordialog.invalidHighlight.title = Highlight error
-
- gatchan-highlight.errordialog.unableToAccessProjectDirectory.message = Unable to access project directory {0}
- gatchan-highlight.errordialog.unableToAccessProjectDirectory.title = Highlight error
-
- gatchan.highlight.expire.tooltip=The time in seconds before the highlight will disappear if not used. 0 means unlimited
-
- plugin.gatchan.highlight.HighlightPlugin.option-pane=gatchan.highlight.option-pane
- options.gatchan.highlight.option-pane.label=Highlight
- options.gatchan.highlight.option-pane.code=new gatchan.highlight.HighlightOptionPane();
-
-
- options.name.gatchan.highlight.label=Highlight
-
- #{{{ properties for option pane
-
- gatchan.highlight.option-pane.commonProperties.text=Common properties
- gatchan.highlight.subsequence.text=Highlight subsequences (if checked, the same highlight can be found several times inside the same word. This will not change previous highlights)
- gatchan.highlight.subsequence=true
- gatchan.highlight.cycleColor.text=Cycle the color when creating highlights :
- gatchan.highlight.defaultColor=#66FFFF
- gatchan.highlight.defaultColor.text=Cycle the color when creating highlights
- gatchan.highlight.appendHighlight=true
- gatchan.highlight.appendHighlight.text=Append highlights (if not checked an highlight will replace the previous one)
-
- gatchan.highlight.caretHighlight.subsequence.text=Highlight subsequences (if checked, the same highlight can be found several times inside the same word)
- gatchan.highlight.caretHighlight.whitespace.text=Highlight whitespace words
- gatchan.highlight.caretHighlight.onlyWords.text=Highlight only words
- gatchan.highlight.caretHighlight.text=Highlight word at caret
- gatchan.highlight.caretHighlight.ignoreCase.text=ignore case
- gatchan.highlight.caretHighlight.entireWord.text=Entire word (this option could be slow)
- gatchan.highlight.caretHighlight.color=#FFFF66
- gatchan.highlight.caretHighlight.color.text=Color of the caret highlight :
- #}}}