[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