re-add notif force dismissal (#215)

.config/ags/lib/notification.js

@@ -435,17 +435,17 @@ export default ({
     })
     widget.add(notificationBox);
     wholeThing.child.children = [widget];
-    // if (isPopup) Utils.timeout(popupTimeout, () => {
+    if (isPopup) Utils.timeout(popupTimeout, () => {
-    //     if (wholeThing) {
+        if (wholeThing) {
-    //         wholeThing.revealChild = false;
+            wholeThing.revealChild = false;
-    //         Utils.timeout(200, () => {
+            Utils.timeout(200, () => {
-    //             if (wholeThing) {
+                if (wholeThing) {
-    //                 wholeThing.destroy();
+                    wholeThing.destroy();
-    //                 wholeThing = null;
+                    wholeThing = null;
-    //             }
+                }
-    //             command();
+                command();
-    //         }, wholeThing);
+            }, wholeThing);
-    //     }
+        }
-    // })
+    })
     return wholeThing;
 }

.config/ags/widgets/indicators/notificationpopups.js

@@ -10,12 +10,14 @@ export default () => Box({
     attribute: {
         'map': new Map(),
         'dismiss': (box, id, force = false) => {
-            if (!id || !box.attribute.map.has(id) || box.attribute.map.get(id).attribute.hovered && !force)
+            if (!id || !box.attribute.map.has(id))
                 return;
+            const notifWidget = box.attribute.map.get(id);
+            if (notifWidget == null || notifWidget.attribute.hovered && !force)
+                return; // cuz already destroyed
 
-            const notif = box.attribute.map.get(id);
+            notifWidget.revealChild = false;
-            notif.revealChild = false;
+            notifWidget.attribute.destroyWithAnims();
-            notif.attribute.destroyWithAnims();
             box.attribute.map.delete(id);
         },
         'notify': (box, id) => {