util: Add an option to request dialogs being modal

As WMs cannot open windows themselves, Mutter uses zenity to open
"Force Quit" dialogs for unresponsive windows; as those are strongly
tied to the corresponding window, it makes sense to make them modal
(in particular when attaching them to their parent).

https://bugzilla.gnome.org/show_bug.cgi?id=684322

1 files changed, 3 insertions, 0 deletions

diff --git a/src/msg.c b/src/msg.c
index 667239b..505f961 100644
--- a/src/msg.c
+++ b/src/msg.c
@@ -142,6 +142,9 @@ zenity_msg (ZenityData *data, ZenityMsgData *msg_data)
   
   if (data->width > -1 || data->height > -1)
     gtk_window_set_default_size (GTK_WINDOW (dialog), data->width, data->height);
+
+  if (data->modal)
+    gtk_window_set_modal (GTK_WINDOW (dialog), TRUE);
         
   if (msg_data->dialog_text) {
     if (msg_data->no_markup)