Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.properties |
diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.properties b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.properties |
index 49a0a2bafa2ce3f71d17013a2aa97d3ff962bf01..42ddd9995171718dff650b723c240cd503b91090 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.properties |
+++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.properties |
@@ -112,9 +112,12 @@ DartBasePreferencePage_enable_auto_completion=Enable automatic activation of cod |
DartBasePreferencePage_enable_auto_completion_tooltip=Toggle display of code completion proposals when a dot is typed |
DartBasePreferencePage_enable_code_folding=Enable code folding |
DartBasePreferencePage_enable_code_folding_tooltip=Code folding allows sections of code to be collapsed to a single line |
-DartBasePreferencePage_enable_hints=Display hints |
-DartBasePreferencePage_enable_hints_tooltip=Display hints in the editor tabs and optionally in the Problems view |
- |
+ |
+HintPreferencePage_enable_hints=Display hints |
+HintPreferencePage_enable_hints_tooltip=Display hints in the editor tabs and optionally in the Problems view |
+HintPreferencePage_hints_group=Settings |
+HintPreferencePage_enable_dart2js_hints=Enable dart2js related hints |
+HintPreferencePage_enable_dart2js_hints_tooltip=Enable hints for source that will be compiled into JS |
DartBasePreferencePage_search= Search |
DartBasePreferencePage_search_small_menu=Use &reduced search menu |