Using the standard gnome desktop, how do you make the Terminal windows have borders on the left and bottom...
When multiple Terminal windows partially overlap, it is difficult to discern where one window starts and the other ends. How do you tell the window manager to draw borders on the left and bottom sides? I'm using a stock standard installation of 17.04 for the desktop (gnome).
gnome-terminal
closed as off-topic by N0rbert, karel, Eric Carvalho, Zanna, Thomas Jan 19 at 10:53
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is specific to an end of life Ubuntu release. These are no longer supported and are therefore off-topic here. To upgrade, see: How to install software or upgrade from old unsupported release?" – N0rbert, karel, Eric Carvalho, Zanna, Thomas
If this question can be reworded to fit the rules in the help center, please edit the question.
add a comment |
When multiple Terminal windows partially overlap, it is difficult to discern where one window starts and the other ends. How do you tell the window manager to draw borders on the left and bottom sides? I'm using a stock standard installation of 17.04 for the desktop (gnome).
gnome-terminal
closed as off-topic by N0rbert, karel, Eric Carvalho, Zanna, Thomas Jan 19 at 10:53
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is specific to an end of life Ubuntu release. These are no longer supported and are therefore off-topic here. To upgrade, see: How to install software or upgrade from old unsupported release?" – N0rbert, karel, Eric Carvalho, Zanna, Thomas
If this question can be reworded to fit the rules in the help center, please edit the question.
2
Window borders are defined by the theme. To change only that aspect, you probably would need to edit the style sheet (.css) of the theme.
– vanadium
Jan 8 at 9:17
add a comment |
When multiple Terminal windows partially overlap, it is difficult to discern where one window starts and the other ends. How do you tell the window manager to draw borders on the left and bottom sides? I'm using a stock standard installation of 17.04 for the desktop (gnome).
gnome-terminal
When multiple Terminal windows partially overlap, it is difficult to discern where one window starts and the other ends. How do you tell the window manager to draw borders on the left and bottom sides? I'm using a stock standard installation of 17.04 for the desktop (gnome).
gnome-terminal
gnome-terminal
asked Jan 8 at 8:54
Joe InwapJoe Inwap
1012
1012
closed as off-topic by N0rbert, karel, Eric Carvalho, Zanna, Thomas Jan 19 at 10:53
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is specific to an end of life Ubuntu release. These are no longer supported and are therefore off-topic here. To upgrade, see: How to install software or upgrade from old unsupported release?" – N0rbert, karel, Eric Carvalho, Zanna, Thomas
If this question can be reworded to fit the rules in the help center, please edit the question.
closed as off-topic by N0rbert, karel, Eric Carvalho, Zanna, Thomas Jan 19 at 10:53
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is specific to an end of life Ubuntu release. These are no longer supported and are therefore off-topic here. To upgrade, see: How to install software or upgrade from old unsupported release?" – N0rbert, karel, Eric Carvalho, Zanna, Thomas
If this question can be reworded to fit the rules in the help center, please edit the question.
2
Window borders are defined by the theme. To change only that aspect, you probably would need to edit the style sheet (.css) of the theme.
– vanadium
Jan 8 at 9:17
add a comment |
2
Window borders are defined by the theme. To change only that aspect, you probably would need to edit the style sheet (.css) of the theme.
– vanadium
Jan 8 at 9:17
2
2
Window borders are defined by the theme. To change only that aspect, you probably would need to edit the style sheet (.css) of the theme.
– vanadium
Jan 8 at 9:17
Window borders are defined by the theme. To change only that aspect, you probably would need to edit the style sheet (.css) of the theme.
– vanadium
Jan 8 at 9:17
add a comment |
1 Answer
1
active
oldest
votes
Found the answer here: How to enable/add window borders in 17.10 & 18.04?
Make a file ~/.config/gtk-3.0/gtk.css
Add the lines:
decoration {
border: 1px solid gray;
background: gray;
}
Reboot or log out+log in
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
Found the answer here: How to enable/add window borders in 17.10 & 18.04?
Make a file ~/.config/gtk-3.0/gtk.css
Add the lines:
decoration {
border: 1px solid gray;
background: gray;
}
Reboot or log out+log in
add a comment |
Found the answer here: How to enable/add window borders in 17.10 & 18.04?
Make a file ~/.config/gtk-3.0/gtk.css
Add the lines:
decoration {
border: 1px solid gray;
background: gray;
}
Reboot or log out+log in
add a comment |
Found the answer here: How to enable/add window borders in 17.10 & 18.04?
Make a file ~/.config/gtk-3.0/gtk.css
Add the lines:
decoration {
border: 1px solid gray;
background: gray;
}
Reboot or log out+log in
Found the answer here: How to enable/add window borders in 17.10 & 18.04?
Make a file ~/.config/gtk-3.0/gtk.css
Add the lines:
decoration {
border: 1px solid gray;
background: gray;
}
Reboot or log out+log in
answered Jan 10 at 8:37
Joe InwapJoe Inwap
1012
1012
add a comment |
add a comment |
2
Window borders are defined by the theme. To change only that aspect, you probably would need to edit the style sheet (.css) of the theme.
– vanadium
Jan 8 at 9:17