Introduce explicit id field to Settings

... and use it to set the application id of the window on Unix systems, instead of relying on the title of the application.
This commit is contained in:
Héctor Ramón Jiménez 2021-08-11 19:23:05 +07:00
parent e3bc050aae
commit 7337ab63bc
No known key found for this signature in database
GPG key ID: 140CC052C94F138E
4 changed files with 25 additions and 3 deletions

View file

@ -58,6 +58,7 @@ where
&application.title(),
application.mode(),
event_loop.primary_monitor(),
settings.id,
)
.with_menu(Some(conversion::menu(&application.menu())));