Paul Frazee 2963fb4c6d Fix scrollbar gutters on web (#1401) ...

* Fix scrollbar gutters on web

* Fix typecheck

2023-09-07 09:32:14 -07:00

..

static/js

prevent error screen on startup

2023-09-06 16:27:44 -05:00

index.html

Fix scrollbar gutters on web (#1401)

2023-09-07 09:32:14 -07:00