Remove mui/styles, Settings page, make minPriority functional, ahh so ugly

web/src/app/NotificationManager.js

@@ -1,7 +1,11 @@
 import {formatMessage, formatTitleWithFallback, topicShortUrl} from "./utils";
+import repository from "./Repository";
 
 class NotificationManager {
     notify(subscription, notification, onClickFallback) {
+        if (!this.shouldNotify(subscription, notification)) {
+            return;
+        }
         const message = formatMessage(notification);
         const title = formatTitleWithFallback(notification, topicShortUrl(subscription.baseUrl, subscription.topic));
         const n = new Notification(title, {
@@ -27,6 +31,14 @@ class NotificationManager {
             });
         }
     }
+
+    shouldNotify(subscription, notification) {
+        const priority = (notification.priority) ? notification.priority : 3;
+        if (priority < repository.getMinPriority()) {
+            return false;
+        }
+        return true;
+    }
 }
 
 const notificationManager = new NotificationManager();