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

Commits

Commits on Aug 8, 2026