Skip to content

Commit

Permalink
Editor preferences: search for find/replace overlay preferences
Browse files Browse the repository at this point in the history
Add preference keywords for the preferences of the find/replace overlay

fixes #1953
  • Loading branch information
Wittmaxi authored and HeikoKlare committed Jul 4, 2024
1 parent 7e1f3a9 commit 80c6da9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bundles/org.eclipse.ui.editors/plugin.properties
Original file line number Diff line number Diff line change
Expand Up @@ -118,7 +118,7 @@ command.showRulerAnnotationInformation.description = Displays annotation informa
conversionActionSet.label= Convert Line Delimiters
conversionSubMenu.label= Con&vert Line Delimiters To

preferenceKeywords.general= pop-up text editor tabs spaces undo history ruler overview hyperlink overwrite colors range indicator typing appearance derived navigation smart caret positioning invisible whitespace characters drag drop dnd hovers popup sticky enrich rich
preferenceKeywords.general= search find replace overlay pop-up text editor tabs spaces undo history ruler overview hyperlink overwrite colors range indicator typing appearance derived navigation smart caret positioning invisible whitespace characters drag drop dnd hovers popup sticky enrich rich
preferenceKeywords.tabWidth= tab width
preferenceKeywords.lineSpacing= line space height spacing
preferenceKeywords.lineNumber= line numbers
Expand Down

0 comments on commit 80c6da9

Please sign in to comment.