diff options
| author |  Héctor Ramón <hector0193@gmail.com> | 2023-07-26 20:26:55 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2023-07-26 20:26:55 +0200 |
| commit | 07f091d0533d1515cb7b6dc990c53ef04a27f1e5 (patch) | |
| tree | 8c0c1d178efcfa4f8087b70bf0de43e23b562555 /winit/src/settings/linux.rs | |
| parent | 6d5b69d307f1a65b1e9ad3baa5930aba67cd6293 (diff) | |
| parent | 13c8d965d3295c83a6b77b1831db1139833a5b70 (diff) | |
| download | iced-07f091d0533d1515cb7b6dc990c53ef04a27f1e5.tar.gz iced-07f091d0533d1515cb7b6dc990c53ef04a27f1e5.tar.bz2 iced-07f091d0533d1515cb7b6dc990c53ef04a27f1e5.zip | |
Merge pull request #1963 from tarkah/feat/linux-app-id
Add app id setting for linux
Diffstat (limited to 'winit/src/settings/linux.rs')
| -rw-r--r-- | winit/src/settings/linux.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/winit/src/settings/linux.rs b/winit/src/settings/linux.rs new file mode 100644 index 00000000..009b9d9e --- /dev/null +++ b/winit/src/settings/linux.rs @@ -0,0 +1,11 @@ +//! Platform specific settings for Linux. + +/// The platform specific window settings of an application. +#[derive(Debug, Clone, PartialEq, Eq, Default)] +pub struct PlatformSpecific { + /// Sets the application id of the window. + /// + /// 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, +} |