mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
Adds terminal.showTerminalProgress setting (default false) and wires it to /settings. Guards all OSC 9;4 setProgress calls in interactive-mode. closes #3588