search

ruebenramirez / blog

My blog
http://blog.ruebenramirez.com/
7 stars 0 forks source link

gnome disable menu bar on the command line #431

Open ruebenramirez opened 4 years ago

ruebenramirez commented 4 years ago

gnome terminal 3.32.1's menu bars are very big and there's no way to hide them in the app preferences anymore?

run this in the CLI instead: 

gsettings set org.gnome.Terminal.Legacy.Settings headerbar false

source: https://www.reddit.com/r/gnome/comments/b3l1c9/gnometerminal_title_bar_is_huge_in_332/