| Index: third_party/mojo/src/mojo/public/dart/src/application.dart
|
| diff --git a/third_party/mojo/src/mojo/public/dart/src/application.dart b/third_party/mojo/src/mojo/public/dart/src/application.dart
|
| index 55002f5e2b5e550295a6c134a6331b6fc7bf6ad4..2819625a30c74782a1ae52e3344e67c08d60674a 100644
|
| --- a/third_party/mojo/src/mojo/public/dart/src/application.dart
|
| +++ b/third_party/mojo/src/mojo/public/dart/src/application.dart
|
| @@ -33,7 +33,7 @@ class _ApplicationImpl extends application_mojom.Application {
|
|
|
| void requestQuit() => _application._requestQuitAndClose();
|
|
|
| - void close() => shell.close();
|
| + void close({bool nodefer: false}) => shell.close();
|
| }
|
|
|
| // TODO(zra): Better documentation and examples.
|
|
|