gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively. Fork of @amezin

GPL-3.0 License

Stars
10
Committers
8
View Code on GitHub Visit Website View on X
Ecosystems: JavaScript

Commit Statistics

Past Year

All Time

Total Commits
0
632
Total Committers
0
8
Avg. Commits Per Committer
0.0
79.0
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
2
Merged Pull Requests
0
2
Total Issues
0
2
Time to Close Issues
N/A
7 days
Related Projects
hyperminimal

Hyper terminal extension to remove window header

16 Dec 2016 78
no-titlebar-when-maximized

A GNOME Shell 👣 extension that hides the titlebar of maximized windows

26 Nov 2021 34
gnome-magic-window

Bind a key to a specific program in Gnome Shell.

22 Jan 2017 31
notes-extension-gnome

A GNOME Shell extension providing customizable sticky notes

05 Nov 2017 80
Persian-Calendar-for-Gnome-Shell

An extension for Gnome-Shell to show Persian date/calendar

10 Mar 2012 391
uniterm

🚧Universal Terminal Emulator, might be a great toy terminal front-end for geeks.

10 Apr 2017 24
tandem-raise

Raise pairs of tiled windows in tandem.

20 Nov 2018 4
gnome-shell-extension-updater

Update extensions installed from https://extensions.gnome.org

13 Apr 2012 33
gnome-shell-system-monitor-applet

Display system informations in gnome shell status bar, such as memory usage, cpu usage, network r...

20 May 2011 1,750
appfolders-manager-gnome-extension

A GNOME extension allowing easy management of "appfolders" directly from the applications grid.

08 May 2017 94
simply-workspaces

A Gnome 3 shell extension for indicating workspaces (similar to polybar/i3bar)

07 Jun 2021 30
emoji-selector-for-gnome

This extension provide a popup menu with some emojis ; clicking on an emoji copies it to the clip...

13 Jan 2017 475
tidalwm

Simple and sane tiling window manager for Gnome Shell

02 Jan 2020 195