| 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 33baf01ce994c04b4230a3a57650860dbd3c2a25..e45fbf67be529cf07685059cb14158354fbce230 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
|
| @@ -121,6 +121,8 @@ DartBasePreferencePage_tab_width=Spaces per indentation:
|
| DartBasePreferencePage_indent_using_spaces=Indent using spaces
|
| DartBasePreferencePage_indent_using_spaces_tooltip=Indent using spaces instead of tabs
|
|
|
| +ExperimentalPreferencePage_server_http_port_label=Http diagnostic port:
|
| +ExperimentalPreferencePage_server_http_port_tooltip=The localhost port used to access Analysis Server diagnostic information.
|
| ExperimentalPreferencePage_enable_analysis_server=Enable Analysis Server
|
| ExperimentalPreferencePage_enable_analysis_server_tooltip=When enabled, an external "analysis server" process is used to analyze the code rather than in-process analysis. \
|
| This is an experimental feature and requires an IDE restart to take effect.
|
|
|