Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(290)

Unified Diff: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/preferences/PreferencesMessages.properties

Issue 23496048: Add additional hints to the analyzer to catch the 'x is double' dart2js bug. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Rebase to latest & merge Created 7 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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

Powered by Google App Engine
This is Rietveld 408576698