help_menu: Extract help items from gear menu into a separate popover.

Fixes #27202
This commit is contained in:
Aman Agrawal
2023-10-21 11:57:36 +00:00
committed by Tim Abbott
parent 2b9dc1f398
commit 8f716cd64a
15 changed files with 162 additions and 59 deletions

View File

@@ -152,6 +152,7 @@ EXEMPT_FILES = make_set(
"web/src/narrow_history.js",
"web/src/narrow_title.js",
"web/src/navbar_alerts.js",
"web/src/navbar_help_menu.js",
"web/src/navbar_menus.js",
"web/src/navigate.js",
"web/src/overlay_util.ts",