search

ddterm / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
https://extensions.gnome.org/extension/3780/ddterm/
GNU General Public License v3.0
313 stars 27 forks source link

Support older GNOME versions by automatic translation of ES modules #763

Closed amezin closed 9 months ago

amezin commented 9 months ago

ES module imports/exports can trivially be replaced with old imports.*/var.

Switch to GTK 4 will limit supported versions to 43 and 44 though.