jerry/ops
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

deploy d08cc80e (PR#58 drag scroll)

Browse Source
This commit is contained in:
jerry
2026-08-28 17:41:20 +00:00
parent 03f2ec4171
commit 20a0dd25ae
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
manifest.json
View File

@@ -1,6 +1,6 @@
{
"sha": "ae57bb698ae98aaaa6a32ad09b9501288376ad0a",
"frontend_file_id": "812dea2a-533f-4e6c-b32d-06ae77be836d",
"frontend_sha256": "179b88d0728c3ae85830a2a0ea66b657865540589201b4ecd39d57d9638e8868",
"note": "PR#57: custom.css v13 panel scope fix"
"sha": "d08cc80e2e79b84023f3df2822b123d5a00f54ac",
"frontend_file_id": "909bea8f-5add-49f7-af3b-9c94451a4ce3",
"frontend_sha256": "c8369e90b02af1cc3e04397cfffb0851663cc9b21edc8ff806547874640aadae",
"note": "PR#58: drag-scroll + thin scrollbar"
}