Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
GNU General Public License v3.0
313
stars
27
forks
source link
Install GSettings schemas into default directory for system-wide install #707
Closed
amezin closed 10 months ago