{ "name": "menu", "id": "a6621988-551d-495a-97d8-3c568bca2e9e", "version": "0.11.0", "description": "the enhancer's graphical menu, related buttons and shortcuts.", "tags": ["core"], "authors": [ { "name": "dragonwocky", "email": "thedragonring.bod@gmail.com", "url": "https://dragonwocky.me/", "icon": "https://dragonwocky.me/avatar.jpg" } ], "css": { "frame": ["tooltips.css"], "client": ["client.css", "tooltips.css"], "menu": ["menu.css", "markdown.css", "tooltips.css"] }, "js": { "client": ["client.js"] }, "options": [ { "type": "toggle", "key": "themes.autoresolve", "label": "auto-resolve theme conflicts", "value": true, "tooltip": "when a theme is enabled any other themes of the same mode (light/dark) will be disabled" }, { "type": "text", "key": "hotkey.focustoggle", "label": "toggle hotkey", "value": "Ctrl+Alt+E", "tooltip": "toggles focus between notion & the enhancer menu" } ] }