| 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
|
|
|