|
|
857f3315c2
|
Rework user scripts, update DB schema to support embeddings
|
2023-08-19 15:46:19 -04:00 |
|
|
|
8ab8124370
|
CSS tweaks
|
2022-02-10 21:25:16 -05:00 |
|
|
|
c6820b6cc6
|
Fix CSS border & checkbox bug of index picker
|
2022-02-10 21:17:32 -05:00 |
|
|
|
f2fd7ccf41
|
Fix raw parsing maybe, fix index picker css
|
2021-12-25 11:08:52 -05:00 |
|
|
|
66de93a8bd
|
Language & formatting
|
2021-11-12 10:17:32 -05:00 |
|
|
|
e3f78fb693
|
Shift click & select all/none in index picker
|
2021-11-12 10:12:25 -05:00 |
|
|
|
b2631a86c8
|
Rework index picker
|
2021-09-24 20:31:11 -04:00 |
|
|
|
f4e1d90a6b
|
web UI rewrite, switch to ndjson.zst index format
|
2021-09-05 09:49:25 -04:00 |
|
