charlie 9ce4bbc16c enhance(plugin): plugin settings for web lsp

2024-12-28 20:04:41 +08:00

..

eventemitter3.umd.min.js

enhance(plugin): basic plugin setup for web platform

2024-12-24 16:26:45 +08:00

lsplugin.core.js

enhance(plugin): plugin settings for web lsp

2024-12-28 20:04:41 +08:00

lsplugin.core.js.LICENSE.txt

improve(plugin): add theme changed hook

2022-06-16 01:43:49 +08:00

lsplugin.user.js

Enhance: plugin APIs (#10399)

2023-12-13 15:42:21 +08:00

lsplugin.user.js.LICENSE.txt

Enhance: plugin APIs (#10399)

2023-12-13 15:42:21 +08:00

magic_portal.js

Revert "Revert "Revert "handle magic-portal"""

2023-08-04 11:17:30 +08:00

pdf_viewer2.js

fix(pdf): ResizeObserver loop completed with undelivered notifications

2024-10-19 12:01:33 +08:00

preload.js

fix(electron): open assets link in folder freezes file browser

2023-11-28 02:39:52 +08:00

tabler.ext.js

enhance(ui): add more tabler extension icons

2024-07-09 15:20:51 +08:00

worker.js

Revert "Revert "handle lightning-fs""

2023-08-04 11:17:30 +08:00