From 0765fdf50eea81010c727928f28a96fec4503813 Mon Sep 17 00:00:00 2001
From: Christoph Reiter <reiter.christoph@gmail.com>
Date: Tue, 2 Jun 2020 10:04:16 +0200
Subject: [PATCH] Hide the mobile menu when a menu item gets clicked

In the common case of the user just targeting an activity and not
browsing the menu the user wants the menu to be gone right away.
---
 packages/app-shell/src/app-shell.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/app-shell/src/app-shell.js b/packages/app-shell/src/app-shell.js
index 73b4f10b..e3c67977 100644
--- a/packages/app-shell/src/app-shell.js
+++ b/packages/app-shell/src/app-shell.js
@@ -306,6 +306,7 @@ export class AppShell extends ScopedElementsMixin(LitElement) {
         const link = e.composedPath()[0];
         const location = link.getAttribute('href');
         this.router.updateFromPathname(location);
+        this.toggleMenu();
     }
 
     onLanguageChanged(e) {
-- 
GitLab