Popup close buttons can take a URL.

2021-02-24 16:13:50 +01:00
parent 114c217ffa
commit ac779af339
68 changed files with 18127 additions and 43084 deletions
@@ -117,10 +117,10 @@ export default class Errors {
        window.addEventListener(
            'error',
            event => {
-                if (typeof(event.error) == 'undefined') {
+                if (typeof event.error == 'undefined') {
                    // This sometimes happens in Edge. Since we have no error
                    // position, we cannot do much beside an info log.
-                    console.info("Catched undefined error", event)
+                    console.info('Catched undefined error', event)
                    return
                }
                this.appendError(event.error, event.filename)