Tips & Tricks Blog
Notes, ideas and general comments on anything related to high-tech.

July 30, 2021

Adding borders to terminal windows under Ubuntu 18.04

Filed under: Linux

The new fashion of having borderless windows is quite annoying (struggled with that under both MS Win 10 and Ubuntu).
Here’s the solution for Ubuntu (combined from a couple posts on stack overflow)…

First make “~/.config/gtk-3.0/gtk.css” with the following content:

decoration {
  border: 1px solid gray;
  background: gray;

Second paste this into shell and after that run “reload_gtk_theme”:

function reload_gtk_theme() {
  theme=$(gsettings get org.gnome.desktop.interface gtk-theme)
  gsettings set org.gnome.desktop.interface gtk-theme ''
  sleep 1
  gsettings set org.gnome.desktop.interface gtk-theme $theme

No Comments »

No comments yet.

RSS feed for comments on this post. TrackBack URL

Leave a comment

Security Code:

Home Tips & Tricks Blog
Powered by WordPress