Skip to content

Add configurable terminal font settings - #3946

Closed
xiaogwu wants to merge 1 commit into
pingdotgg:mainfrom
xiaogwu:ui/terminal-font
Closed

Add configurable terminal font settings#3946
xiaogwu wants to merge 1 commit into
pingdotgg:mainfrom
xiaogwu:ui/terminal-font

Commits

Commits on Aug 4, 2026