| 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/build = false | 10 com.google.dart.tools.core/debug/build = false |
| (...skipping 12 matching lines...) Expand all Loading... |
| 23 com.google.dart.tools.core/experimental/serverDebugging = false | 23 com.google.dart.tools.core/experimental/serverDebugging = false |
| 24 com.google.dart.tools.core/experimental/update = false | 24 com.google.dart.tools.core/experimental/update = false |
| 25 | 25 |
| 26 com.google.dart.tools.core/trace/artifactProvider = false | 26 com.google.dart.tools.core/trace/artifactProvider = false |
| 27 com.google.dart.tools.core/trace/index/contributor = false | 27 com.google.dart.tools.core/trace/index/contributor = false |
| 28 com.google.dart.tools.core/trace/index/processor = false | 28 com.google.dart.tools.core/trace/index/processor = false |
| 29 | 29 |
| 30 com.google.dart.tools.core/perf/index = false | 30 com.google.dart.tools.core/perf/index = false |
| 31 | 31 |
| 32 com.google.dart.tools.core/debug/markOccurrences = false | 32 com.google.dart.tools.core/debug/markOccurrences = false |
| 33 com.google.dart.tools.core/debug/RefineTypes = false | |
| OLD | NEW |