Package Details: gnome-shell-extension-drop-down-terminal 24.patch3-2

Git Clone URL: (read-only, click to copy)
Package Base: gnome-shell-extension-drop-down-terminal
Description: Drop Down Terminal extension for the Gnome Shell
Upstream URL:
Licenses: GPL3
Submitter: heddson
Maintainer: mschu
Last Packager: mschu
Votes: 15
Popularity: 0.000000
First Submitted: 2014-08-25 13:39 (UTC)
Last Updated: 2022-04-08 07:38 (UTC)

Latest Comments

mschu commented on 2022-04-08 10:27 (UTC) (edited on 2022-04-08 10:28 (UTC) by mschu)

Currently failing for gnome-shell=42:

Gtk.BuilderError: /usr/share/gnome-shell/extensions/ Invalid property: GtkBox.margin_left

Stack trace:

soloturn commented on 2018-11-03 17:43 (UTC)

please update to gnome-3.30 version

heddson commented on 2017-01-07 22:53 (UTC)

denis: Sorry for the late reply, but thanks for the info about that issue. Updated the PKGBUILD.

denis commented on 2016-11-12 09:23 (UTC)

The extension is not working since gnome 3.22, at least for me. The issue is described here: It is fixed in git. And if I clone the git it works just fine.

stecco commented on 2015-11-09 12:15 (UTC)

Thank you heddson now is fixed... Now everything works but for now when I press the button which activates the extension, the terminal does not have continuity with the rest of the shell ... But the problem is purely aesthetic

heddson commented on 2015-11-08 22:14 (UTC)

stecco: Somehow I missed to update this pkg.. But it's updated now. So just reinstall it and it should work.

stecco commented on 2015-11-08 21:20 (UTC) (edited on 2015-11-08 21:21 (UTC) by stecco)

I can't enamble this extension: tweak tool says that doesn't support shell's version... What should I do? How to fix this?