Skip to content

emrg: GUI fixes — tool spinner, typing cursor, markdown prefix (rants 21:08/21:09/21:10) - #580

Merged
argszero merged 1 commit into
argszero:masterfrom
pm25coder:feature/gui-tool-spinner-typing-markdown-fix
Aug 8, 2026
Merged

emrg: GUI fixes — tool spinner, typing cursor, markdown prefix (rants 21:08/21:09/21:10)#580
argszero merged 1 commit into
argszero:masterfrom
pm25coder:feature/gui-tool-spinner-typing-markdown-fix

emrg: GUI fixes for tool spinner, typing cursor, markdown prefix (ran…

7828d40
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
test
succeeded Aug 8, 2026 in 1m 2s