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

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)

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.

Latest 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.

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/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/

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: 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 (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?