diff options
| author | 2023-07-08 17:28:19 -0700 | |
|---|---|---|
| committer | 2023-07-08 17:28:19 -0700 | |
| commit | b545c8e243925d26adeb9f4d4a809892a3977575 (patch) | |
| tree | 9b45a94b595022bb2deb1e1ffd8477a0497ca6cf /src/gui.rs | |
| parent | 3c5fce40a15f785cef87e82dc528728cf65870b4 (diff) | |
| download | portaltools-master.tar.gz portaltools-master.zip | |
Diffstat (limited to 'src/gui.rs')
| -rw-r--r-- | src/gui.rs | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -5,6 +5,7 @@ use native_windows_gui::*; pub struct PortalTools { // layout and window #[nwg_control(flags: "WINDOW|VISIBLE", size: (420, 200), title: "Portal Tools")] + #[nwg_events( OnWindowClose: [PortalTools::close] )] pub window: Window, #[nwg_layout(parent: window, spacing: 2)] @@ -110,6 +111,10 @@ pub struct PortalTools { } impl PortalTools { + fn close(&self) { + crate::nwg::stop_thread_dispatch(); + } + fn pick_blue(&self) { if self.picker.run(Some(&self.window)) { let c = self.picker.color(); |
