| Index: editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| diff --git a/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart b/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| index fbbe65fb1037f1f0144f3ccae457abb8a33f1c58..c561daa8a043a7095e9c8de686e0f50ac4ec93b9 100644
|
| --- a/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| +++ b/editor/util/plugins/com.google.dart.java2dart/resources/java_io.dart
|
| @@ -15,7 +15,7 @@ class JavaSystemIO {
|
| return Platform.operatingSystem;
|
| }
|
| if (name == 'line.separator') {
|
| - if (Platform.operatingSystem == 'windows') {
|
| + if (Platform.isWindows) {
|
| return '\r\n';
|
| }
|
| return '\n';
|
|
|