2023-12-02 20:41:58 +01:00
|
|
|
|
use crate::core::window::{Icon, Id, Level, Mode, Settings, UserAttention};
|
2023-11-30 23:40:33 +01:00
|
|
|
|
use crate::core::{Point, Size};
|
2023-03-04 05:37:11 +01:00
|
|
|
|
use crate::futures::MaybeSend;
|
2023-06-27 19:41:03 +02:00
|
|
|
|
use crate::window::Screenshot;
|
2022-08-18 14:39:15 +02:00
|
|
|
|
|
2024-01-19 14:48:14 -05:00
|
|
|
|
use raw_window_handle::WindowHandle;
|
|
|
|
|
|
|
2022-08-18 14:39:15 +02:00
|
|
|
|
use std::fmt;
|
|
|
|
|
|
|
2021-09-01 19:21:49 +07:00
|
|
|
|
/// An operation to be performed on some window.
|
2022-08-18 14:39:15 +02:00
|
|
|
|
pub enum Action<T> {
|
2023-12-02 20:41:58 +01:00
|
|
|
|
/// Spawns a new window with some [`Settings`].
|
|
|
|
|
|
Spawn(Id, Settings),
|
|
|
|
|
|
/// Close the window and exits the application.
|
|
|
|
|
|
Close(Id),
|
2023-05-25 23:18:50 +02:00
|
|
|
|
/// Move the window with the left mouse button until the button is
|
2022-10-06 20:38:21 +02:00
|
|
|
|
/// released.
|
|
|
|
|
|
///
|
|
|
|
|
|
/// There’s no guarantee that this will work unless the left mouse
|
|
|
|
|
|
/// button was pressed immediately before this function is called.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Drag(Id),
|
2023-11-30 23:40:33 +01:00
|
|
|
|
/// Resize the window to the given logical dimensions.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Resize(Id, Size),
|
2023-11-30 23:40:33 +01:00
|
|
|
|
/// Fetch the current logical dimensions of the window.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
FetchSize(Id, Box<dyn FnOnce(Size) -> T + 'static>),
|
2024-01-09 02:37:45 -06:00
|
|
|
|
/// Fetch if the current window is maximized or not.
|
|
|
|
|
|
///
|
|
|
|
|
|
/// ## Platform-specific
|
|
|
|
|
|
/// - **iOS / Android / Web:** Unsupported.
|
|
|
|
|
|
FetchMaximized(Id, Box<dyn FnOnce(bool) -> T + 'static>),
|
2023-05-25 23:18:50 +02:00
|
|
|
|
/// Set the window to maximized or back
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Maximize(Id, bool),
|
2024-01-09 02:37:45 -06:00
|
|
|
|
/// Fetch if the current window is minimized or not.
|
|
|
|
|
|
///
|
|
|
|
|
|
/// ## Platform-specific
|
|
|
|
|
|
/// - **Wayland:** Always `None`.
|
|
|
|
|
|
/// - **iOS / Android / Web:** Unsupported.
|
|
|
|
|
|
FetchMinimized(Id, Box<dyn FnOnce(Option<bool>) -> T + 'static>),
|
2022-10-11 15:24:26 +02:00
|
|
|
|
/// Set the window to minimized or back
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Minimize(Id, bool),
|
2023-11-30 23:40:33 +01:00
|
|
|
|
/// Move the window to the given logical coordinates.
|
2022-09-15 12:08:39 -07:00
|
|
|
|
///
|
|
|
|
|
|
/// Unsupported on Wayland.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Move(Id, Point),
|
2023-01-31 04:04:29 +01:00
|
|
|
|
/// Change the [`Mode`] of the window.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
ChangeMode(Id, Mode),
|
2022-12-10 01:53:00 +13:00
|
|
|
|
/// Fetch the current [`Mode`] of the window.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
FetchMode(Id, Box<dyn FnOnce(Mode) -> T + 'static>),
|
2023-01-31 04:04:29 +01:00
|
|
|
|
/// Toggle the window to maximized or back
|
2023-12-02 20:41:58 +01:00
|
|
|
|
ToggleMaximize(Id),
|
2023-01-31 04:04:29 +01:00
|
|
|
|
/// Toggle whether window has decorations.
|
|
|
|
|
|
///
|
2022-12-10 01:40:53 +13:00
|
|
|
|
/// ## Platform-specific
|
|
|
|
|
|
/// - **X11:** Not implemented.
|
2022-12-13 00:13:01 +01:00
|
|
|
|
/// - **Web:** Unsupported.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
ToggleDecorations(Id),
|
2023-01-31 04:04:29 +01:00
|
|
|
|
/// Request user attention to the window, this has no effect if the application
|
2022-12-10 01:53:00 +13:00
|
|
|
|
/// is already focused. How requesting for user attention manifests is platform dependent,
|
2023-01-31 04:08:19 +01:00
|
|
|
|
/// see [`UserAttention`] for details.
|
2022-12-10 01:53:00 +13:00
|
|
|
|
///
|
|
|
|
|
|
/// Providing `None` will unset the request for user attention. Unsetting the request for
|
|
|
|
|
|
/// user attention might not be done automatically by the WM when the window receives input.
|
|
|
|
|
|
///
|
|
|
|
|
|
/// ## Platform-specific
|
|
|
|
|
|
///
|
|
|
|
|
|
/// - **iOS / Android / Web:** Unsupported.
|
|
|
|
|
|
/// - **macOS:** `None` has no effect.
|
|
|
|
|
|
/// - **X11:** Requests for user attention must be manually cleared.
|
|
|
|
|
|
/// - **Wayland:** Requires `xdg_activation_v1` protocol, `None` has no effect.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
RequestUserAttention(Id, Option<UserAttention>),
|
2023-01-31 04:04:29 +01:00
|
|
|
|
/// Bring the window to the front and sets input focus. Has no effect if the window is
|
2022-12-10 01:49:29 +13:00
|
|
|
|
/// already in focus, minimized, or not visible.
|
|
|
|
|
|
///
|
|
|
|
|
|
/// This method steals input focus from other applications. Do not use this method unless
|
|
|
|
|
|
/// you are certain that's what the user wants. Focus stealing can cause an extremely disruptive
|
|
|
|
|
|
/// user experience.
|
|
|
|
|
|
///
|
|
|
|
|
|
/// ## Platform-specific
|
|
|
|
|
|
///
|
|
|
|
|
|
/// - **Web / Wayland:** Unsupported.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
GainFocus(Id),
|
2023-05-25 23:18:50 +02:00
|
|
|
|
/// Change the window [`Level`].
|
2023-12-02 20:41:58 +01:00
|
|
|
|
ChangeLevel(Id, Level),
|
|
|
|
|
|
/// Fetch the raw identifier unique to the window.
|
|
|
|
|
|
FetchId(Id, Box<dyn FnOnce(u64) -> T + 'static>),
|
2023-05-25 23:18:50 +02:00
|
|
|
|
/// Change the window [`Icon`].
|
2023-04-12 18:47:53 +12:00
|
|
|
|
///
|
|
|
|
|
|
/// On Windows and X11, this is typically the small icon in the top-left
|
|
|
|
|
|
/// corner of the titlebar.
|
2022-12-10 01:42:51 +13:00
|
|
|
|
///
|
|
|
|
|
|
/// ## Platform-specific
|
|
|
|
|
|
///
|
2023-04-12 18:47:53 +12:00
|
|
|
|
/// - **Web / Wayland / macOS:** Unsupported.
|
|
|
|
|
|
///
|
|
|
|
|
|
/// - **Windows:** Sets `ICON_SMALL`. The base size for a window icon is 16x16, but it's
|
|
|
|
|
|
/// recommended to account for screen scaling and pick a multiple of that, i.e. 32x32.
|
|
|
|
|
|
///
|
|
|
|
|
|
/// - **X11:** Has no universal guidelines for icon sizes, so you're at the whims of the WM. That
|
|
|
|
|
|
/// said, it's usually in the same ballpark as on Windows.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
ChangeIcon(Id, Icon),
|
2024-01-19 14:48:14 -05:00
|
|
|
|
/// Requests access to the windows native handle.
|
2024-02-07 09:47:15 +01:00
|
|
|
|
RunWithHandle(Id, Box<dyn FnOnce(&WindowHandle<'_>) -> T + 'static>),
|
2023-03-25 10:45:39 -07:00
|
|
|
|
/// Screenshot the viewport of the window.
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Screenshot(Id, Box<dyn FnOnce(Screenshot) -> T + 'static>),
|
2022-08-18 14:39:15 +02:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
impl<T> Action<T> {
|
|
|
|
|
|
/// Maps the output of a window [`Action`] using the provided closure.
|
|
|
|
|
|
pub fn map<A>(
|
|
|
|
|
|
self,
|
|
|
|
|
|
f: impl Fn(T) -> A + 'static + MaybeSend + Sync,
|
|
|
|
|
|
) -> Action<A>
|
|
|
|
|
|
where
|
|
|
|
|
|
T: 'static,
|
|
|
|
|
|
{
|
|
|
|
|
|
match self {
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::Spawn(id, settings) => Action::Spawn(id, settings),
|
|
|
|
|
|
Self::Close(id) => Action::Close(id),
|
|
|
|
|
|
Self::Drag(id) => Action::Drag(id),
|
|
|
|
|
|
Self::Resize(id, size) => Action::Resize(id, size),
|
|
|
|
|
|
Self::FetchSize(id, o) => {
|
|
|
|
|
|
Action::FetchSize(id, Box::new(move |s| f(o(s))))
|
2022-12-10 01:53:00 +13:00
|
|
|
|
}
|
2024-01-09 02:37:45 -06:00
|
|
|
|
Self::FetchMaximized(id, o) => {
|
|
|
|
|
|
Action::FetchMaximized(id, Box::new(move |s| f(o(s))))
|
|
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::Maximize(id, maximized) => Action::Maximize(id, maximized),
|
2024-01-09 02:37:45 -06:00
|
|
|
|
Self::FetchMinimized(id, o) => {
|
|
|
|
|
|
Action::FetchMinimized(id, Box::new(move |s| f(o(s))))
|
|
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::Minimize(id, minimized) => Action::Minimize(id, minimized),
|
|
|
|
|
|
Self::Move(id, position) => Action::Move(id, position),
|
|
|
|
|
|
Self::ChangeMode(id, mode) => Action::ChangeMode(id, mode),
|
|
|
|
|
|
Self::FetchMode(id, o) => {
|
|
|
|
|
|
Action::FetchMode(id, Box::new(move |s| f(o(s))))
|
2023-03-25 10:45:39 -07:00
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::ToggleMaximize(id) => Action::ToggleMaximize(id),
|
|
|
|
|
|
Self::ToggleDecorations(id) => Action::ToggleDecorations(id),
|
|
|
|
|
|
Self::RequestUserAttention(id, attention_type) => {
|
|
|
|
|
|
Action::RequestUserAttention(id, attention_type)
|
|
|
|
|
|
}
|
|
|
|
|
|
Self::GainFocus(id) => Action::GainFocus(id),
|
|
|
|
|
|
Self::ChangeLevel(id, level) => Action::ChangeLevel(id, level),
|
|
|
|
|
|
Self::FetchId(id, o) => {
|
|
|
|
|
|
Action::FetchId(id, Box::new(move |s| f(o(s))))
|
|
|
|
|
|
}
|
|
|
|
|
|
Self::ChangeIcon(id, icon) => Action::ChangeIcon(id, icon),
|
2024-02-07 09:47:15 +01:00
|
|
|
|
Self::RunWithHandle(id, o) => {
|
|
|
|
|
|
Action::RunWithHandle(id, Box::new(move |s| f(o(s))))
|
2024-01-19 14:48:14 -05:00
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::Screenshot(id, tag) => Action::Screenshot(
|
|
|
|
|
|
id,
|
|
|
|
|
|
Box::new(move |screenshot| f(tag(screenshot))),
|
|
|
|
|
|
),
|
2022-08-18 14:39:15 +02:00
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
impl<T> fmt::Debug for Action<T> {
|
|
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
|
|
|
|
match self {
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::Spawn(id, settings) => {
|
|
|
|
|
|
write!(f, "Action::Spawn({id:?}, {settings:?})")
|
|
|
|
|
|
}
|
|
|
|
|
|
Self::Close(id) => write!(f, "Action::Close({id:?})"),
|
|
|
|
|
|
Self::Drag(id) => write!(f, "Action::Drag({id:?})"),
|
|
|
|
|
|
Self::Resize(id, size) => {
|
|
|
|
|
|
write!(f, "Action::Resize({id:?}, {size:?})")
|
|
|
|
|
|
}
|
|
|
|
|
|
Self::FetchSize(id, _) => write!(f, "Action::FetchSize({id:?})"),
|
2024-01-09 02:37:45 -06:00
|
|
|
|
Self::FetchMaximized(id, _) => {
|
|
|
|
|
|
write!(f, "Action::FetchMaximized({id:?})")
|
|
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::Maximize(id, maximized) => {
|
|
|
|
|
|
write!(f, "Action::Maximize({id:?}, {maximized})")
|
|
|
|
|
|
}
|
2024-01-09 02:37:45 -06:00
|
|
|
|
Self::FetchMinimized(id, _) => {
|
|
|
|
|
|
write!(f, "Action::FetchMinimized({id:?})")
|
|
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::Minimize(id, minimized) => {
|
|
|
|
|
|
write!(f, "Action::Minimize({id:?}, {minimized}")
|
|
|
|
|
|
}
|
|
|
|
|
|
Self::Move(id, position) => {
|
|
|
|
|
|
write!(f, "Action::Move({id:?}, {position})")
|
2022-10-19 23:33:20 -03:00
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::ChangeMode(id, mode) => {
|
|
|
|
|
|
write!(f, "Action::SetMode({id:?}, {mode:?})")
|
2023-02-17 13:22:45 +01:00
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::FetchMode(id, _) => write!(f, "Action::FetchMode({id:?})"),
|
|
|
|
|
|
Self::ToggleMaximize(id) => {
|
|
|
|
|
|
write!(f, "Action::ToggleMaximize({id:?})")
|
2023-02-17 13:22:45 +01:00
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::ToggleDecorations(id) => {
|
|
|
|
|
|
write!(f, "Action::ToggleDecorations({id:?})")
|
2022-08-18 14:39:15 +02:00
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::RequestUserAttention(id, _) => {
|
|
|
|
|
|
write!(f, "Action::RequestUserAttention({id:?})")
|
2022-12-10 01:53:00 +13:00
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::GainFocus(id) => write!(f, "Action::GainFocus({id:?})"),
|
|
|
|
|
|
Self::ChangeLevel(id, level) => {
|
|
|
|
|
|
write!(f, "Action::ChangeLevel({id:?}, {level:?})")
|
2022-12-10 01:42:51 +13:00
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::FetchId(id, _) => write!(f, "Action::FetchId({id:?})"),
|
|
|
|
|
|
Self::ChangeIcon(id, _icon) => {
|
|
|
|
|
|
write!(f, "Action::ChangeIcon({id:?})")
|
2023-04-12 18:47:53 +12:00
|
|
|
|
}
|
2024-02-07 09:47:15 +01:00
|
|
|
|
Self::RunWithHandle(id, _) => {
|
|
|
|
|
|
write!(f, "Action::RunWithHandle({id:?})")
|
2024-01-19 14:48:14 -05:00
|
|
|
|
}
|
2023-12-02 20:41:58 +01:00
|
|
|
|
Self::Screenshot(id, _) => write!(f, "Action::Screenshot({id:?})"),
|
2022-08-18 14:39:15 +02:00
|
|
|
|
}
|
|
|
|
|
|
}
|
2021-09-01 19:21:49 +07:00
|
|
|
|
}
|