Using the standard gnome desktop, how do you make the Terminal windows have borders on the left and bottom...












0















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).










share|improve this 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
















0















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).










share|improve this 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














0












0








0








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).










share|improve this question














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






share|improve this question













share|improve this question











share|improve this question




share|improve this question










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














  • 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










1 Answer
1






active

oldest

votes


















0














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






share|improve this answer






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    0














    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






    share|improve this answer




























      0














      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






      share|improve this answer


























        0












        0








        0







        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






        share|improve this answer













        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







        share|improve this answer












        share|improve this answer



        share|improve this answer










        answered Jan 10 at 8:37









        Joe InwapJoe Inwap

        1012




        1012















            Popular posts from this blog

            flock() on closed filehandle LOCK_FILE at /usr/bin/apt-mirror

            Mangá

            Eduardo VII do Reino Unido