Package Details: gnome-shell-extension-drop-down-terminal 24.patch1-1

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: 15
Popularity: 0.000002
First Submitted: 2014-08-25 13:39
Last Updated: 2020-09-04 13:32

Latest Comments

soloturn commented on 2018-11-03 17:43

please update to gnome-3.30 version

heddson commented on 2017-01-07 22:53

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

The extension is not working since gnome 3.22, at least for me. The issue is described here: https://github.com/zzrough/gs-extensions-drop-down-terminal/issues/164

It is fixed in git. And if I clone the git it works just fine.

stecco commented on 2015-11-09 12:15

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

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

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