MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Rename Editor/Editor to Editor/General

Browse Source
This commit is contained in:
Sergey Malenkov
2014-10-17 20:26:40 +04:00
parent 1ba369511f
commit cf8f59e6fd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources-en/src/messages/ApplicationBundle.properties
+1 -1
View File
@@ -312,7 +312,7 @@ checkbox.spaces.after.semicolon=After semicolon
checkbox.spaces.before.semicolon=Before semicolon
checkbox.spaces.after.type.cast=After type cast
title.warning=Warning
title.editor=Editor
title.editor=General
combobox.strip.modified.lines=Modified Lines
combobox.strip.all=All
combobox.strip.none=None