Skip to content

Add terminal button in toolbar + some ui improvements#2893

Merged
abose merged 7 commits into
mainfrom
pluto/terminalll
May 12, 2026
Merged

Add terminal button in toolbar + some ui improvements#2893
abose merged 7 commits into
mainfrom
pluto/terminalll