You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
We'd love to see support for customizing the font and font size of session co... #4258
Thanks for the request. This appears to be the same request as #2622, so we're closing this one as a duplicate to keep the discussion in one place. Please follow #2622 and add any further details there.
Activity
alxthmpson commentedon Oct 3, 2026
Duplicate of #2622
cwebster-99 commentedon Nov 11, 2026
Thanks for the request. This appears to be the same request as #2622, so we're closing this one as a duplicate to keep the discussion in one place. Please follow #2622 and add any further details there.