notion-enhancer/extension/repo/menu@a6621988-551d-495a-97d8-3c568bca2e9e/mod.json

32 lines
738 B
JSON

{
"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",
"homepage": "https://dragonwocky.me/",
"avatar": "https://dragonwocky.me/avatar.jpg"
}
],
"css": {
"client": ["client.css"],
"menu": ["menu.css", "markdown.css"]
},
"js": {
"client": ["client.mjs"]
},
"options": [
{
"type": "hotkey",
"key": "hotkey",
"label": "toggle focus hotkey",
"value": "Ctrl+Alt+E",
"tooltip": "switches between notion & the enhancer menu"
}
]
}