diff options
| author |  Nadji Abidi <mouhamir2@gmail.com> | 2024-06-22 16:12:19 +0100 |
|---|---|---|
| committer |  Héctor Ramón Jiménez <hector@hecrj.dev> | 2024-09-11 00:00:40 +0200 |
| commit | 190774258c3d2a32451b05738188973ae0393a42 (patch) | |
| tree | 85bb5a5cb4995af69761d4443897a2617a1389cb /core/src/window | |
| parent | abd323181d613f1dc69b6cbe885dce556f427de2 (diff) | |
| download | iced-190774258c3d2a32451b05738188973ae0393a42.tar.gz iced-190774258c3d2a32451b05738188973ae0393a42.tar.bz2 iced-190774258c3d2a32451b05738188973ae0393a42.zip | |
Add `override_redirect` for X11 windows
This commit add the `override_redirect` boolean field to the `PlatformSpecific` struct for linux platform.
This is a X11-specific flag allow bypassing window manager mapping for precise positioning of windows.
Diffstat (limited to 'core/src/window')
| -rw-r--r-- | core/src/window/settings/linux.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/core/src/window/settings/linux.rs b/core/src/window/settings/linux.rs index 009b9d9e..0a1e11cd 100644 --- a/core/src/window/settings/linux.rs +++ b/core/src/window/settings/linux.rs @@ -8,4 +8,10 @@ pub struct PlatformSpecific { /// As a best practice, it is suggested to select an application id that match /// the basename of the application’s .desktop file. pub application_id: String, + + /// Whether bypass the window manager mapping for x11 windows + /// + /// This flag is particularly useful for creating UI elements that need precise + /// positioning and immediate display without window manager interference. + pub override_redirect: bool, } |