SethranKada, 1 year ago I’m using the ddterm gnome extension, and it’s been the best I’ve tried so far. Lots of customization, very few bugs, and does exactly what you need it to with no bells or whistles to distract you.
I’m using the ddterm gnome extension, and it’s been the best I’ve tried so far. Lots of customization, very few bugs, and does exactly what you need it to with no bells or whistles to distract you.