pretty-print: drop extra ';' from progress reporting end sequence

This corrects the closing sequence for the ConEmu progress reporting
final sequence. We by mistake sent two final ;;, where only one was
expected. The terminals I tested this with didn't care, but Ghostty
apparently does. Let's fix things and generate the closing sequence as
per doc:

https://conemu.github.io/en/AnsiEscapeCodes.html#ConEmu_specific_OSC

diff --git a/src/shared/pretty-print.c b/src/shared/pretty-print.c
index 1b73562584726fe90a9bc5f0e640bae83d4372d9..d8a5537658577b48f3ed2864975b7cb56ef555ab 100644 (file)
--- a/src/shared/pretty-print.c
+++ b/src/shared/pretty-print.c
@@ -556,7 +556,7 @@ void clear_progress_bar_unbuffered(const char *prefix) {
                       stderr);
         else
                 /* Undo Windows Terminal progress indication again. */
-                fputs(ANSI_OSC "9;4;0;;" ANSI_ST
+                fputs(ANSI_OSC "9;4;0;" ANSI_ST
                       ANSI_ERASE_TO_END_OF_LINE, stderr);
 
         fputc('\r', stderr);