config: add progress-style option (#11289)

Adds progress-style config to control OSC 9;4 progress bar visibility.
Defaults to true, set false to hide.

Fixes #11241

AI Disclosure: Claude Code (Opus 4.6) used for codebase exploration,
code review, and testing assistance. All code written and reviewed by
hand.
This commit is contained in:
Mitchell Hashimoto
2026-03-11 20:46:59 -07:00
committed by GitHub
4 changed files with 30 additions and 0 deletions

View File

@@ -1013,6 +1013,14 @@ pub const Surface = extern struct {
priv.progress_bar_timer = null;
}
if (priv.config) |config| {
if (!config.get().@"progress-style") {
log.debug("progress_report action blocked by config", .{});
priv.progress_bar_overlay.as(gtk.Widget).setVisible(@intFromBool(false));
return;
}
}
const progress_bar = priv.progress_bar_overlay;
switch (value.state) {
// Remove the progress bar