|
fetch.ts
|
[ui] better error msg on text
|
2022-02-03 17:02:30 +01:00 |
|
history.ts
|
[ui] fix spurious TS error (?)
|
2022-01-28 20:39:00 +01:00 |
|
info.ts
|
[ui] add version display
|
2022-02-02 22:36:45 +01:00 |
|
search.ts
|
[ui] also search in attrs
|
2022-02-04 23:04:38 +01:00 |
|
title.ts
|
[ui] dynamic page title
|
2022-02-04 22:44:40 +01:00 |
