| Index: sdk/lib/_internal/compiler/js_lib/io_patch.dart
|
| diff --git a/sdk/lib/_internal/compiler/js_lib/io_patch.dart b/sdk/lib/_internal/compiler/js_lib/io_patch.dart
|
| index c2c218a05442e76fd61515c59255c546be4d8619..b6400f3c69350ea57f4f9f39f6fdc8cd208df3e5 100644
|
| --- a/sdk/lib/_internal/compiler/js_lib/io_patch.dart
|
| +++ b/sdk/lib/_internal/compiler/js_lib/io_patch.dart
|
| @@ -495,15 +495,15 @@ class Stdin {
|
| @patch
|
| class Stdout {
|
| @patch
|
| - bool get hasTerminal {
|
| + bool _hasTerminal(int fd) {
|
| throw new UnsupportedError("Stdout.hasTerminal");
|
| }
|
| @patch
|
| - int get terminalColumns {
|
| + int _terminalColumns(int fd) {
|
| throw new UnsupportedError("Stdout.terminalColumns");
|
| }
|
| @patch
|
| - int get terminalLines {
|
| + int _terminalLines(int fd) {
|
| throw new UnsupportedError("Stdout.terminalLines");
|
| }
|
| }
|
|
|