make manager window sensitive when history is shown

This commit is contained in:
guinux 2015-10-20 10:53:27 +02:00
parent fec09228b0
commit 60552a1a9e

View File

@ -1045,8 +1045,10 @@ namespace Pamac {
} }
var history_dialog = new HistoryDialog (this); var history_dialog = new HistoryDialog (this);
history_dialog.textview.buffer.set_text (text.str, (int) text.len); history_dialog.textview.buffer.set_text (text.str, (int) text.len);
history_dialog.run (); history_dialog.show ();
history_dialog.destroy (); history_dialog.response.connect (() => {
history_dialog.destroy ();
});
while (Gtk.events_pending ()) { while (Gtk.events_pending ()) {
Gtk.main_iteration (); Gtk.main_iteration ();
} }