wangweimin ddd5d92006 feat: add `put_collapse()` 5 years ago
..
codemirror 7b96833885 maint(frontend): use base16-light as codemirror default theme 5 years ago
css ddd5d92006 feat: add `put_collapse()` 5 years ago
image b8812be2a3 use favicon.ico to indicate connection status 5 years ago
js 73ae91b19c feat: add `put_widget()` to output custom widget 5 years ago
index.html 3a8907b751 feat: use Scope system instead of Anchor 5 years ago