/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

  1. # Highlight jEdit Plugin
  2. # Author: Matthieu Casanova
  3. plugin.gatchan.highlight.HighlightPlugin.activate=startup
  4. plugin.gatchan.highlight.HighlightPlugin.name=Highlight
  5. plugin.gatchan.highlight.HighlightPlugin.author=Matthieu Casanova
  6. plugin.gatchan.highlight.HighlightPlugin.version=1.4.1
  7. plugin.gatchan.highlight.HighlightPlugin.docs=Highlight.html
  8. plugin.gatchan.highlight.HighlightPlugin.depend.0=jdk 1.4
  9. plugin.gatchan.highlight.HighlightPlugin.depend.1=jedit 04.03.05.00
  10. plugin.gatchan.highlight.HighlightPlugin.menu=\
  11. gatchan-highlight-dialog \
  12. - \
  13. gatchan-highlight \
  14. gatchan-highlight-session \
  15. gatchan-highlight-buffer \
  16. gatchan-highlight-entireword \
  17. gatchan-highlight-entireword-session \
  18. gatchan-highlight-entireword-buffer \
  19. gatchan-highlightcurrentSearch \
  20. gatchan-highlightcurrentSearch-session \
  21. gatchan-highlightcurrentSearch-buffer \
  22. - \
  23. gatchan-removeAllHighlights \
  24. gatchan-enableHighlights \
  25. gatchan-disableHighlights \
  26. gatchan-toggleHighlights \
  27. - \
  28. highlighter-panel \
  29. gatchan-highlight.label=Highlight
  30. gatchan-highlight-session.label=Highlight (session scope)
  31. gatchan-highlight-buffer.label=Highlight (buffer scope)
  32. gatchan-highlight-entireword.label=Highlight entire word
  33. gatchan-highlight-entireword-session.label=Highlight entire word (session scope)
  34. gatchan-highlight-entireword-buffer.label=Highlight entire word (buffer scope)
  35. gatchan-highlight-dialog.label=Highlight dialog
  36. gatchan-highlightcurrentSearch.label=Highlight current search
  37. gatchan-highlightcurrentSearch-session.label=Highlight current search (session scope)
  38. gatchan-highlightcurrentSearch-buffer.label=Highlight current search (buffer scope)
  39. gatchan-removeAllHighlights.label=Remove all
  40. gatchan-enableHighlights.label=Enable highlights
  41. gatchan-disableHighlights.label=Disable highlights
  42. gatchan-toggleHighlights.label=Toggle highlights on/off
  43. highlighter-panel.title=Highlighter
  44. highlighter-panel.label=Highlighter panel
  45. gatchan-highlight.errordialog.invalidHighlight.message = Invalid highlight
  46. gatchan-highlight.errordialog.invalidHighlight.title = Highlight error
  47. gatchan-highlight.errordialog.unableToAccessProjectDirectory.message = Unable to access project directory {0}
  48. gatchan-highlight.errordialog.unableToAccessProjectDirectory.title = Highlight error
  49. gatchan.highlight.expire.tooltip=The time in seconds before the highlight will disappear if not used. 0 means unlimited
  50. plugin.gatchan.highlight.HighlightPlugin.option-pane=gatchan.highlight.option-pane
  51. options.gatchan.highlight.option-pane.label=Highlight
  52. options.gatchan.highlight.option-pane.code=new gatchan.highlight.HighlightOptionPane();
  53. options.name.gatchan.highlight.label=Highlight
  54. #{{{ properties for option pane
  55. gatchan.highlight.option-pane.commonProperties.text=Common properties
  56. 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)
  57. gatchan.highlight.subsequence=true
  58. gatchan.highlight.cycleColor.text=Cycle the color when creating highlights :
  59. gatchan.highlight.defaultColor=#66FFFF
  60. gatchan.highlight.defaultColor.text=Cycle the color when creating highlights
  61. gatchan.highlight.appendHighlight=true
  62. gatchan.highlight.appendHighlight.text=Append highlights (if not checked an highlight will replace the previous one)
  63. gatchan.highlight.caretHighlight.subsequence.text=Highlight subsequences (if checked, the same highlight can be found several times inside the same word)
  64. gatchan.highlight.caretHighlight.whitespace.text=Highlight whitespace words
  65. gatchan.highlight.caretHighlight.onlyWords.text=Highlight only words
  66. gatchan.highlight.caretHighlight.text=Highlight word at caret
  67. gatchan.highlight.caretHighlight.ignoreCase.text=ignore case
  68. gatchan.highlight.caretHighlight.entireWord.text=Entire word (this option could be slow)
  69. gatchan.highlight.caretHighlight.color=#FFFF66
  70. gatchan.highlight.caretHighlight.color.text=Color of the caret highlight :
  71. #}}}