diff options
| author |  Night_Hunter <samuelhuntnz@gmail.com> | 2022-12-29 13:30:14 +1300 |
|---|---|---|
| committer |  Héctor Ramón Jiménez <hector0193@gmail.com> | 2023-02-17 13:20:07 +0100 |
| commit | 095ecf016b53ad25337663fb9f11a84f373150e0 (patch) | |
| tree | 8e4528669dee14001e1d4df7c16483a8bd120529 | |
| parent | d1d13f6f160af73e549e2c2dd8a9d7991f10f1f6 (diff) | |
| download | iced-095ecf016b53ad25337663fb9f11a84f373150e0.tar.gz iced-095ecf016b53ad25337663fb9f11a84f373150e0.tar.bz2 iced-095ecf016b53ad25337663fb9f11a84f373150e0.zip | |
update docs and change to SetAlwaysOnTop
| -rw-r--r-- | native/src/window/action.rs | 8 | ||||
| -rw-r--r-- | winit/src/application.rs | 2 |
2 files changed, 5 insertions, 5 deletions
diff --git a/native/src/window/action.rs b/native/src/window/action.rs index b16b7243..0c711090 100644 --- a/native/src/window/action.rs +++ b/native/src/window/action.rs @@ -74,8 +74,8 @@ pub enum Action<T> { /// /// ## Platform-specific /// - /// - **iOS / Android / Web / Wayland:** Unsupported. - AlwaysOnTop(bool), + /// - **Web / Wayland:** Unsupported. + SetAlwaysOnTop(bool), } impl<T> Action<T> { @@ -102,7 +102,7 @@ impl<T> Action<T> { Action::RequestUserAttention(attention_type) } Self::GainFocus => Action::GainFocus, - Self::AlwaysOnTop(bool) => Action::AlwaysOnTop(bool), + Self::SetAlwaysOnTop(bool) => Action::SetAlwaysOnTop(bool), } } } @@ -129,7 +129,7 @@ impl<T> fmt::Debug for Action<T> { write!(f, "Action::RequestUserAttention") } Self::GainFocus => write!(f, "Action::GainFocus"), - Self::AlwaysOnTop(value) => { + Self::SetAlwaysOnTop(value) => { write!(f, "Action::AlwaysOnTop({})", value) } } diff --git a/winit/src/application.rs b/winit/src/application.rs index fda559d0..d2e40de0 100644 --- a/winit/src/application.rs +++ b/winit/src/application.rs @@ -788,7 +788,7 @@ pub fn run_command<A, E>( user_attention.map(conversion::user_attention), ), window::Action::GainFocus => window.focus_window(), - window::Action::AlwaysOnTop(value) => { + window::Action::SetAlwaysOnTop(value) => { window.set_always_on_top(value) } }, |