Anpassung Menü

web/html/js/app.js

@@ -21,6 +21,7 @@ import { adminView } from "./views/admin.js";
 import { settingsView } from "./views/settings.js";
 import { welcomeView } from "./views/welcome.js";
 import { manageView } from "./views/manage.js";
+import { closeMenu } from "./appbar.js";
 import * as db from "./db.js";
 import { installTriggers, stopWatching } from "./sync.js";
 import { publicView } from "./views/public.js";
@@ -60,6 +61,8 @@ function currentRoute() {
 /** Beim Verlassen der Detailansicht den Ereigniskanal schließen -
  *  sonst bleibt pro besuchter Liste eine offene Verbindung stehen. */
 function navigate(hash) {
+  // Sonst bliebe ein offenes Menü über den Wechsel hinweg stehen.
+  closeMenu();
   stopWatching();
   if (location.hash === hash) {
     route();