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 }}
This repository has been archived by the owner on May 14, 2020. It is now read-only.
could you change the gnome terminal to always use the theme border color as background + add a minimal padding
^ for the dark version, since I enforce dark themes on terminal.
compared to default:
Many people already use it like this, so I think its a not so bad idea to have it by default.
The text was updated successfully, but these errors were encountered: