OLD | NEW |
1 # | 1 # |
2 # Internal options for the Dart Compiler | 2 # Internal options for the Dart Compiler |
3 # | 3 # |
4 # To run Dart Editor with custom options, | 4 # To run Dart Editor with custom options, |
5 # copy one or more of these settings to an options file | 5 # copy one or more of these settings to an options file |
6 # then launch Dart Editor from the command line with | 6 # then launch Dart Editor from the command line with |
7 # | 7 # |
8 # -debug /path/to/options/file | 8 # -debug /path/to/options/file |
9 # | 9 # |
10 com.google.dart.tools.core/debug/analysis/server = false | 10 com.google.dart.tools.core/debug/analysis/server = false |
11 com.google.dart.tools.core/debug/index/contributor = false | 11 com.google.dart.tools.core/debug/index/contributor = false |
12 com.google.dart.tools.core/debug/metrics = false | 12 com.google.dart.tools.core/debug/metrics = false |
13 com.google.dart.tools.core/debug/warmup = false | 13 com.google.dart.tools.core/debug/warmup = false |
14 com.google.dart.tools.core/debug/verbose = false | 14 com.google.dart.tools.core/debug/verbose = false |
15 com.google.dart.tools.core/logging/debugger = false | 15 com.google.dart.tools.core/logging/debugger = false |
| 16 com.google.dart.tools.core/launch/chromeApp = false |
16 | 17 |
17 com.google.dart.tools.core/trace/artifactProvider = false | 18 com.google.dart.tools.core/trace/artifactProvider = false |
18 com.google.dart.tools.core/trace/index/contributor = false | 19 com.google.dart.tools.core/trace/index/contributor = false |
19 com.google.dart.tools.core/trace/index/processor = false | 20 com.google.dart.tools.core/trace/index/processor = false |
20 com.google.dart.tools.core/trace/index/statistics = false | 21 com.google.dart.tools.core/trace/index/statistics = false |
21 com.google.dart.tools.core/trace/update = false | 22 com.google.dart.tools.core/trace/update = false |
22 | 23 |
23 com.google.dart.tools.core/perf/timer = false | 24 com.google.dart.tools.core/perf/timer = false |
24 com.google.dart.tools.core/perf/index = false | 25 com.google.dart.tools.core/perf/index = false |
25 com.google.dart.tools.core/perf/osResources = false | 26 com.google.dart.tools.core/perf/osResources = false |
26 com.google.dart.tools.core/perf/threadContentionMonitor = false | 27 com.google.dart.tools.core/perf/threadContentionMonitor = false |
27 | 28 |
28 com.google.dart.tools.core/experimental = false | 29 com.google.dart.tools.core/experimental = false |
29 | 30 |
30 com.google.dart.tools.core/experimental/altKeyBindings = false | 31 com.google.dart.tools.core/experimental/altKeyBindings = false |
31 com.google.dart.tools.core/experimental/testsView = false | 32 com.google.dart.tools.core/experimental/testsView = false |
32 com.google.dart.tools.core/experimental/formatter = false | 33 com.google.dart.tools.core/experimental/formatter = false |
33 com.google.dart.tools.core/experimental/themes = false | 34 com.google.dart.tools.core/experimental/themes = false |
34 com.google.dart.tools.core/experimental/tabColors = false | 35 com.google.dart.tools.core/experimental/tabColors = false |
35 com.google.dart.tools.core/experimental/validateHtml = false | 36 com.google.dart.tools.core/experimental/validateHtml = false |
36 com.google.dart.tools.core/experimental/analysis/useDartc = false | 37 com.google.dart.tools.core/experimental/analysis/useDartc = false |
| 38 com.google.dart.tools.core/experimental/pubserve = false |
37 | 39 |
38 com.google.dart.tools.core/experimental/pubInWinXP = false | 40 com.google.dart.tools.core/experimental/pubInWinXP = false |
39 | 41 |
40 com.google.dart.tools.core/dev/disableMarkOccurrences=false | 42 com.google.dart.tools.core/dev/disableMarkOccurrences=false |
41 | 43 |
42 com.google.dart.tools.core/user/disableDartiumDebugger=false | 44 com.google.dart.tools.core/user/disableDartiumDebugger=false |
43 com.google.dart.tools.core/user/disableCommandLineDebugger=false | 45 com.google.dart.tools.core/user/disableCommandLineDebugger=false |
OLD | NEW |