We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
(1) Issue/Bug Description:
Cannot activate pop-shell. Just shows this error message:
Error message:
Error: No property border_width on GtkGrid Stack trace: _init/Gtk.Widget.prototype._init@resource:///org/gnome/gjs/modules/core/overrides/Gtk.js:55:50 settings_dialog_view@/usr/share/gnome-shell/extensions/[email protected]/prefs.js:46:16 settings_dialog_new@/usr/share/gnome-shell/extensions/[email protected]/prefs.js:9:23 buildPrefsWidget@/usr/share/gnome-shell/extensions/[email protected]/prefs.js:127:18 _init@resource:///org/gnome/Shell/Extensions/js/extensionPrefsDialog.js:32:44 ExtensionPrefsDialog@resource:///org/gnome/Shell/Extensions/js/extensionPrefsDialog.js:10:4 OpenExtensionPrefsAsync@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:124:33 async*LaunchExtensionPrefsAsync@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:110:14 _handleMethodCall@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:373:35 _wrapJSObject/<@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:408:34 run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:186:20 main@resource:///org/gnome/Shell/Extensions/js/main.js:22:13 run@resource:///org/gnome/gjs/modules/script/package.js:206:19 start@resource:///org/gnome/gjs/modules/script/package.js:190:8 @/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17
(2) Steps to reproduce (if you know):
Installed it using the gnome-shell-extension-pop-shell-bin AUR package. I then restarted my machine.
gnome-shell-extension-pop-shell-bin
(3) Expected behavior:
Should at least be possible to activate in GNOME Extensions.
(4) Distribution (run cat /etc/os-release):
cat /etc/os-release
I'm using Arch.
$ cat /etc/os-release NAME="Arch Linux" PRETTY_NAME="Arch Linux" ID=arch BUILD_ID=rolling ANSI_COLOR="38;2;23;147;209" HOME_URL="https://archlinux.org/" DOCUMENTATION_URL="https://wiki.archlinux.org/" SUPPORT_URL="https://bbs.archlinux.org/" BUG_REPORT_URL="https://bugs.archlinux.org/" PRIVACY_POLICY_URL="https://terms.archlinux.org/docs/privacy-policy/" LOGO=archlinux-logo
(5) Gnome Shell version:
GNOME 44.4
(6) Pop Shell version (run apt policy pop-shell or provide the latest commit if building locally):
apt policy pop-shell
gnome-shell-extension-pop-shell-bin 1.2.0-4
In Extension Manager, it says version 2.
(7) Where was Pop Shell installed from:
AUR: gnome-shell-extension-pop-shell-bin
(8) Monitor Setup (2 x 1080p, 4K, Primary(Horizontal), Secondary(Vertical), etc):
Single 1080p Display
(9) Other Installed/Enabled Extensions:
The text was updated successfully, but these errors were encountered:
same issue on debian 12 gnome 43.6 but theres no git package to switch to #974
Sorry, something went wrong.
No branches or pull requests
(1) Issue/Bug Description:
Cannot activate pop-shell. Just shows this error message:
Error message:
(2) Steps to reproduce (if you know):
Installed it using the
gnome-shell-extension-pop-shell-bin
AUR package. I then restarted my machine.(3) Expected behavior:
Should at least be possible to activate in GNOME Extensions.
(4) Distribution (run
cat /etc/os-release
):I'm using Arch.
(5) Gnome Shell version:
GNOME 44.4
(6) Pop Shell version (run
apt policy pop-shell
or provide the latest commit if building locally):In Extension Manager, it says version 2.
(7) Where was Pop Shell installed from:
AUR: gnome-shell-extension-pop-shell-bin
(8) Monitor Setup (2 x 1080p, 4K, Primary(Horizontal), Secondary(Vertical), etc):
Single 1080p Display
(9) Other Installed/Enabled Extensions:
The text was updated successfully, but these errors were encountered: