me/iced
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

window tasks for setting min and max size

Browse source
This commit is contained in:
JL710 2024-10-11 12:10:30 +02:00 • committed by Héctor Ramón Jiménez
parent ca8aaf9b8d
commit 8ebbfa9767
No known key found for this signature in database
GPG key ID: 7CC46565708259A7
2 changed files with 36 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

16
runtime/src/window.rs
View file

@ -158,6 +158,12 @@ pub enum Action {
/// This enables mouse events for the window and stops mouse events
/// from being passed to whatever is underneath.
DisableMousePassthrough(Id),
/// Set the minimum inner window size.
SetMinSize(Id, Option<Size>),
/// Set the maximum inner window size.
SetMaxSize(Id, Option<Size>),
}
/// Subscribes to the frames of the window of the running application.
@ -376,6 +382,16 @@ pub fn change_title<T>(id: Id, title: String) -> Task<T> {
task::effect(crate::Action::Window(Action::ChangeTitle(id, title)))
}
/// Set the inner maximum size of the window.
pub fn set_max_size<T>(id: Id, size: Option<Size>) -> Task<T> {
task::effect(crate::Action::Window(Action::SetMaxSize(id, size)))
}
/// Set the inner minimum size of the window.
pub fn set_min_size<T>(id: Id, size: Option<Size>) -> Task<T> {
task::effect(crate::Action::Window(Action::SetMinSize(id, size)))
}
/// Show the [system menu] at cursor position.
///
/// [system menu]: https://en.wikipedia.org/wiki/Common_menus_in_Microsoft_Windows#System_menu

20
winit/src/program.rs
View file

@ -1291,6 +1291,26 @@ fn run_action<P, C>(
);
}
}
window::Action::SetMinSize(id, size) => {
if let Some(window) = window_manager.get_mut(id) {
window.raw.set_min_inner_size(size.map(|x| {
winit::dpi::LogicalSize {
width: x.width,
height: x.height,
}
}));
}
}
window::Action::SetMaxSize(id, size) => {
if let Some(window) = window_manager.get_mut(id) {
window.raw.set_max_inner_size(size.map(|x| {
winit::dpi::LogicalSize {
width: x.width,
height: x.height,
}
}));
}
}
window::Action::ChangeTitle(id, title) => {
if let Some(window) = window_manager.get_mut(id) {
window.raw.set_title(&title);