Quote:
Originally posted by scott_R
Yes, they're standard options. Edit the default profile to change them, or create a new profile.
|
OK...but I can't find all of them. I found a page for gnome-terminal that explained some of it, but I think it was an older version because the options they showed I don't have on my Edit Profile window.
But there is a way to make this at least borderless?
J