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

proper group name capitalization

Browse Source
This commit is contained in:
Gregory.Shrago
2017-02-09 23:01:05 +03:00
parent 59bee10675
commit 931f4d20bd
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources-en/src/messages/OptionsBundle.properties
+3 -3
View File
@@ -205,9 +205,9 @@ options.language.defaults.markup.entity=Markup//Entity
options.language.defaults.predefined=Identifiers//Predefined symbol
options.language.defaults.metadata=Metadata
options.java.color.descriptor.full.coverage=Line coverage//Full
options.java.color.descriptor.partial.coverage=Line coverage//Partial
options.java.color.descriptor.none.coverage=Line coverage//Uncovered
options.java.color.descriptor.full.coverage=Line Coverage//Full
options.java.color.descriptor.partial.coverage=Line Coverage//Partial
options.java.color.descriptor.none.coverage=Line Coverage//Uncovered
options.java.color.descriptor.method.separator.color=Code//Method separator color
options.custom.display.name=Custom
options.general.display.name=General