Narrow the right sidebar and update task panel and diff panel#2409
Merged
juliusmarminge merged 2 commits intopingdotgg:mainfrom Apr 30, 2026
Merged
Narrow the right sidebar and update task panel and diff panel#2409juliusmarminge merged 2 commits intopingdotgg:mainfrom
juliusmarminge merged 2 commits intopingdotgg:mainfrom