[gnome-boxes] properties-window: Dismiss notifications when closing

[Felipe Borges <felipeborges src gnome org>]

commit 2da41ddc99f24b50f025bb7e269effc231406da4
Author: Felipe Borges <felipeborges gnome org>
Date:   Fri Jan 12 14:48:54 2018 +0100

    properties-window: Dismiss notifications when closing
    
    Notifications such as the deletion of a snapshot would persist in
    the properties window until getting directly dismissed. This causes
    the unexpected behavior of having notification from a box being
    shown in the properties window of another one.
    
    Lets dismiss all properties window notifications when closing it.
    
    Fixes #110

 src/properties-window.vala | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/properties-window.vala b/src/properties-window.vala
index 8bdf8095..3a82db8f 100644
--- a/src/properties-window.vala
+++ b/src/properties-window.vala
@@ -117,6 +117,7 @@ private bool on_key_pressed (Widget widget, Gdk.EventKey event) {
 
     [GtkCallback]
     private bool on_delete_event () {
+        notificationbar.dismiss_all ();
         revert_state ();
 
         return true;