Pop-os shell on gnome 40

Ask Fedora Ask in English
,
1

Hi, i have a fresh fedora 34 with gnome 40 in wayland. I searched in internet some tiling windows manager and i found pop-os shell, that is so intuitive for me, because i’m a new user in there…
I got an error in installation, in extension’s app i got this error:

Error: No property border_width on GtkGrid

Stack trace:
  _init/Gtk.Widget.prototype._init@resource:///org/gnome/gjs/modules/core/overrides/Gtk.js:45:40
  settings_dialog_view@/usr/share/gnome-shell/extensions/pop-shell@system76.com/prefs.js:46:16
  settings_dialog_new@/usr/share/gnome-shell/extensions/pop-shell@system76.com/prefs.js:9:23
  buildPrefsWidget@/usr/share/gnome-shell/extensions/pop-shell@system76.com/prefs.js:127:18
  _init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:209:40
  OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:122:28
  asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:115:22
  run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:177:20
  main@resource:///org/gnome/Shell/Extensions/js/main.js:19: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

I don’t know how to fix it, can somebody help me??
I want a simple wm, so in case of incompatibility, can someone help me to find and install another wm??
Thanks a lot

1 Like
2

If you are looking for tiling, try this extension: gTile - GNOME Shell Extensions

The pop-os error would need to be reported upstream to the developers. Gnome and Fedora do not develop the Gnome Shell extensions:

https://extensions.gnome.org/about/

2 Likes
3

According to dnf provides /usr/share/gnome-shell/extensions/pop-shell@system76.com/, the file belongs to the package gnome-shell-extension-pop-shell which has its upstream on GitHub - pop-os/shell: Pop!_OS Shell.

The issue you are seeing is already reported upstream: Error: No property border_width on GtkGrid while attempting to display extension settings in GNOME 40.1.0 / Fedora 34 #974

1 Like