mirror of
https://github.com/notion-enhancer/notion-enhancer.git
synced 2025-04-07 14:09:03 +00:00
43 lines
1.2 KiB
JSON
43 lines
1.2 KiB
JSON
{
|
|
"name": "scroll to top",
|
|
"id": "0a958f5a-17c5-48b5-8713-16190cae1959",
|
|
"version": "0.3.0",
|
|
"description": "adds an arrow in the bottom right corner to scroll back to the top of a page.",
|
|
"preview": "scroll-to-top.png",
|
|
"tags": ["extension", "shortcut"],
|
|
"authors": [
|
|
{
|
|
"name": "CloudHill",
|
|
"email": "rh.cloudhill@gmail.com",
|
|
"homepage": "https://github.com/CloudHill",
|
|
"avatar": "https://avatars.githubusercontent.com/u/54142180"
|
|
}
|
|
],
|
|
"css": {},
|
|
"js": {
|
|
"client": ["client.mjs"]
|
|
},
|
|
"options": [
|
|
{
|
|
"type": "toggle",
|
|
"key": "smooth",
|
|
"label": "smooth scrolling",
|
|
"value": true
|
|
},
|
|
{
|
|
"type": "number",
|
|
"key": "top_distance_px",
|
|
"label": "distance scrolled until button shown (px)",
|
|
"tooltip": "**the distance in pixels that must be scrolled down before the button appears**",
|
|
"value": 5000
|
|
},
|
|
{
|
|
"type": "number",
|
|
"key": "top_distance_percent",
|
|
"label": "distance scrolled until button shown (%)",
|
|
"tooltip": "**the percentage of the page that must be scrolled down before the button appears**",
|
|
"value": 80
|
|
}
|
|
]
|
|
}
|