Rename Text Editor into Plain Text Editor

See #1532 and #1385
eclipse-platform · Sep 16, 2024 · 147544b · 147544b
1 parent 8d8da43
commit 147544b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/bundles/org.eclipse.ui.editors/plugin.properties b/bundles/org.eclipse.ui.editors/plugin.properties
@@ -47,7 +47,7 @@ ActionDefinition.quickDiff.revertLine.description= Revert the current line
 ActionDefinition.lineNumberToggle.name= Show Line Numbers
 ActionDefinition.lineNumberToggle.description= Toggle display of line numbers
 
-Editors.DefaultTextEditor= Text Editor
+Editors.DefaultTextEditor= Plain Text Editor
 PreferencePages.GeneralTextEditors= Text Editors
 PreferencePages.Annotations= Annotations
 PreferencePages.QuickDiff= Quick Diff

diff --git a/bundles/org.eclipse.ui.ide/plugin.properties b/bundles/org.eclipse.ui.ide/plugin.properties
@@ -347,9 +347,9 @@ command.edit.delete.mnemonic = D
 command.edit.selectAll.mnemonic = A
 command.file.properties.mnemonic = P
 
-systemEditorThenTextEditor=System Editor; if none: Text Editor
+systemEditorThenTextEditor=System Editor; if none: Plain Text Editor
 askUserViaPopup=Ask via pop-up
-textEditor=Text Editor
+textEditor=Plain Text Editor
 # Smart Import
 ExtPoint.projectConfigurator=Project detector and configurator
 importProjectsFromFolder_command=Open Projects from File System...