Fix setTitle on web

lib/globals.dart

@@ -23,6 +23,7 @@ import 'config/windows.dart';
 import 'main.dart';
 import 'platform/clipboard.dart';
 import 'platform/path.dart';
+import 'platform/set_title.dart';
 import 'tags.dart';
 import 'utils.dart';
 export 'galleries.dart' show GalleriesPageExtra;
@@ -333,6 +334,10 @@ void setCurrentTitle(String title, int primaryColor,
     }).catchError((err) {
       _titleLog.warning("Failed to set title:", err);
     });
+  } else if (kIsWeb) {
+    setTitleWeb(title);
+    _currentTitle = title;
+    if (isPrefix) _prefix = title;
   } else {
     SystemChrome.setApplicationSwitcherDescription(
             ApplicationSwitcherDescription(

lib/platform/set_title.dart

@@ -0,0 +1 @@
+export 'set_title_none.dart' if (dart.library.html) 'set_title_web.dart';

lib/platform/set_title_none.dart

@@ -0,0 +1,3 @@
+void setTitleWeb(String title) {
+  throw UnimplementedError();
+}

lib/platform/set_title_web.dart

@@ -0,0 +1,8 @@
+// ignore: avoid_web_libraries_in_flutter
+import 'dart:html';
+
+void setTitleWeb(String title) {
+  Future.delayed(const Duration(milliseconds: 10), () {
+    document.title = title;
+  });
+}