[Users] [Bug 4239] Preferences: Text Options Header Display modal is not modal
noreply at thewildbeast.co.uk
noreply at thewildbeast.co.uk
Sat Aug 24 18:01:02 CEST 2019
https://www.thewildbeast.co.uk/claws-mail/bugzilla/show_bug.cgi?id=4239
--- Comment #3 from Andrej Kacian <ticho at claws-mail.org> ---
While I do not argue that having the dialogs behave in the same way is a good
thing, I wonder if disabling resizeability is not a bit heavy-handed way to
signal to the window manager that this is a dialog window.
Alexander, can you please try this instead?
gtk_window_set_type_hint(GTK_WINDOW(window), GDK_WINDOW_TYPE_HINT_DIALOG);
--
You are receiving this mail because:
You are the assignee for the bug.
More information about the Users
mailing list