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

Remove window::change_title since it's redundant

Browse source 
Applications can change title declaratively.
This commit is contained in:
Héctor Ramón Jiménez 2025-01-06 23:20:12 +01:00
parent 00b60d819b
commit 91fd6d395f
No known key found for this signature in database
GPG key ID: 7CC46565708259A7
2 changed files with 0 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

8
runtime/src/window.rs
View file

@ -73,9 +73,6 @@ pub enum Action {
/// Get the current [`Mode`] of the window. /// Get the current [`Mode`] of the window.
GetMode(Id, oneshot::Sender<Mode>), GetMode(Id, oneshot::Sender<Mode>),
/// Change the title of the window.
ChangeTitle(Id, String),
/// Toggle the window to maximized or back /// Toggle the window to maximized or back
ToggleMaximize(Id), ToggleMaximize(Id),
@ -388,11 +385,6 @@ pub fn change_level<T>(id: Id, level: Level) -> Task<T> {
task::effect(crate::Action::Window(Action::ChangeLevel(id, level))) task::effect(crate::Action::Window(Action::ChangeLevel(id, level)))
} }
/// Changes the title of the window.
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. /// Set the inner maximum size of the window.
pub fn set_max_size<T>(id: Id, size: Option<Size>) -> Task<T> { pub fn set_max_size<T>(id: Id, size: Option<Size>) -> Task<T> {
task::effect(crate::Action::Window(Action::SetMaxSize(id, size))) task::effect(crate::Action::Window(Action::SetMaxSize(id, size)))

5
winit/src/program.rs
View file

@ -1321,11 +1321,6 @@ fn run_action<P, C>(
})); }));
} }
} }
window::Action::ChangeTitle(id, title) => {
if let Some(window) = window_manager.get_mut(id) {
window.raw.set_title(&title);
}
}
window::Action::SetResizable(id, resizable) => { window::Action::SetResizable(id, resizable) => {
if let Some(window) = window_manager.get_mut(id) { if let Some(window) = window_manager.get_mut(id) {
window.raw.set_resizable(resizable); window.raw.set_resizable(resizable);