diff options
| author | Dani Megert | 2007-06-20 13:35:08 +0000 |
|---|---|---|
| committer | Dani Megert | 2007-06-20 13:35:08 +0000 |
| commit | 1409279d918df7900dd6161e31416cfa3cb09120 (patch) | |
| tree | 68d37e7cb5acde77e72f7c654f2c032a3b45c765 /org.eclipse.ui.editors/plugin.properties | |
| parent | 72c2ad6154a5cdd0fa32e212237770fd8ba8e50b (diff) | |
| download | eclipse.platform.text-1409279d918df7900dd6161e31416cfa3cb09120.tar.gz eclipse.platform.text-1409279d918df7900dd6161e31416cfa3cb09120.tar.xz eclipse.platform.text-1409279d918df7900dd6161e31416cfa3cb09120.zip | |
Fixed bug 193142: [preferences] Quick Diff preference page should have "changes" keyword
Diffstat (limited to 'org.eclipse.ui.editors/plugin.properties')
| -rw-r--r-- | org.eclipse.ui.editors/plugin.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/plugin.properties b/org.eclipse.ui.editors/plugin.properties index b40a772ab1f..aa52725a9bf 100644 --- a/org.eclipse.ui.editors/plugin.properties +++ b/org.eclipse.ui.editors/plugin.properties @@ -113,7 +113,7 @@ conversionSubMenu.label= Con&vert Line Delimiters To preferenceKeywords.general= text editor tabs spaces width undo history ruler print margin overview hyperlink overwrite colors line numbers range indicator typing appearance derived navigation smart caret positioning invisible whitespace characters drag drop dnd preferenceKeywords.annotations= annotations vertical ruler overview colors text editor -preferenceKeywords.quickdiff= quick diff compare reference colors text editor +preferenceKeywords.quickdiff= quick diff compare reference colors text editor changes preferenceKeywords.accessibility= accessibility caret cursor quick diff text editor preferenceKeywords.spelling= spelling spell checking dictionary correction check text editor preferenceKeywords.linkedmode= editor linked mode template |