Search Criteria
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: | |
Submitter: | heddson |
Maintainer: | mschu |
Last Packager: | mschu |
Votes: | 15 |
Popularity: | 0.000000 |
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?