diff options
| author |  Héctor Ramón <hector0193@gmail.com> | 2021-03-31 10:20:22 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2021-03-31 10:20:22 +0200 |
| commit | b9ec44446ed4d99b9b17aceafdcb353dd1595877 (patch) | |
| tree | 86b3e4d9a7257a6d5b0d82988111f2a3a5ca7117 /winit/src/settings.rs | |
| parent | bbb4e4678f14b4b187f9537a32063440e727e919 (diff) | |
| parent | 8f952452ce3d61203856bcebae7016372556be31 (diff) | |
| download | iced-b9ec44446ed4d99b9b17aceafdcb353dd1595877.tar.gz iced-b9ec44446ed4d99b9b17aceafdcb353dd1595877.tar.bz2 iced-b9ec44446ed4d99b9b17aceafdcb353dd1595877.zip | |
Merge pull request #804 from hecrj/feature/graceful-exit
Graceful exiting for `Application`
Diffstat (limited to 'winit/src/settings.rs')
| -rw-r--r-- | winit/src/settings.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/winit/src/settings.rs b/winit/src/settings.rs index 2e8715cd..9ce5cfc5 100644 --- a/winit/src/settings.rs +++ b/winit/src/settings.rs @@ -23,6 +23,10 @@ pub struct Settings<Flags> { /// /// [`Application`]: crate::Application pub flags: Flags, + + /// Whether the [`Application`] should exit when the user requests the + /// window to close (e.g. the user presses the close button). + pub exit_on_close_request: bool, } /// The window settings of an application. |