ddterm GNOME Shell extension

Sort by: Latest activity

General Discussions

Chat about anything and everything here

You must be logged in to vote

Translations - maintenance and automation

amezin started Sep 26, 2023 in General

10
You must be logged in to vote

Faster Terminal Emulator

failafail8 started Sep 24, 2023 in General

1
You must be logged in to vote

Ready for testing on Gnome 44

divsmart started Apr 26, 2023 in General

1
You must be logged in to vote

Setting drop down settings with dconf...

coc0nut started May 1, 2022 in General

4
You must be logged in to vote

Unable to run on Debian 11, Gnome 3.38.5

bound-variable started Nov 9, 2021 in General

0
You must be logged in to vote

AUR package

junkfactory started Aug 15, 2021 in General

3