WebDev 541881e318 Adjust brush size with hotkeys.

2024-01-13 02:11:06 -08:00

..

javascript

Adjust brush size with hotkeys.

2024-01-13 02:11:06 -08:00

scripts

auto-expand enable by default

2023-08-09 00:06:51 +03:00

style.css

Improve integration, fix for new gradio

2023-08-22 16:43:23 +03:00