ParentFull threadbmicraft·There are a boatload of non-GTK or GNOME affiliated terminal emulators. I can recommend alacritty for instance.View on HN