I could not get this extension to run anymore in recent times and switched over to guake.
I will likely flag this for deletion soon because upstream has also not received any updates in the last 3 years.
Git Clone URL: | https://aur.archlinux.org/gnome-shell-extension-drop-down-terminal.git (read-only, click to copy) |
---|---|
Package Base: | gnome-shell-extension-drop-down-terminal |
Description: | Drop Down Terminal extension for the Gnome Shell |
Upstream URL: | https://github.com/zzrough/gs-extensions-drop-down-terminal |
Licenses: | GPL3 |
Submitter: | heddson |
Maintainer: | mschu |
Last Packager: | mschu |
Votes: | 14 |
Popularity: | 0.000000 |
First Submitted: | 2014-08-25 13:39 (UTC) |
Last Updated: | 2022-04-08 07:38 (UTC) |
I could not get this extension to run anymore in recent times and switched over to guake.
I will likely flag this for deletion soon because upstream has also not received any updates in the last 3 years.
Currently failing for gnome-shell=42
:
Gtk.BuilderError: /usr/share/gnome-shell/extensions/drop-down-terminal@gs-extensions.zzrough.org/prefs.gtkbuilder:52:39 Invalid property: GtkBox.margin_left
Stack trace:
_init@/usr/share/gnome-shell/extensions/drop-down-terminal@gs-extensions.zzrough.org/prefs.js:75:21
wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
buildPrefsWidget@/usr/share/gnome-shell/extensions/drop-down-terminal@gs-extensions.zzrough.org/prefs.js:314:18
_init@resource:///org/gnome/Shell/Extensions/js/extensionPrefsDialog.js:32:44
ExtensionPrefsDialog@resource:///org/gnome/Shell/
please update to gnome-3.30 version
Pinned Comments
mschu commented on 2023-12-18 09:52 (UTC)
I could not get this extension to run anymore in recent times and switched over to guake.
I will likely flag this for deletion soon because upstream has also not received any updates in the last 3 years.