Update Gnome 40

[cbruno1]

Under Fedora 34 delivered with gnome 40, the extension does not work.

Do you plan to update it?

Thank you!

[maoschanz]

i do not plan to use an environment where workspaces are horizontal.

i could probably guess the problem and improvise an untested fix if you provide the error message. Otherwise, patches are welcome, but they have to be retro-compatible

[cbruno1]

I'm ready to do the tests. Unfortunately I don't have any programming skills.

Here is the error message:

Error: No property margin on Gjs_QuicklistsPrefsWidget

Stack trace:
  _init/Gtk.Widget.prototype._init@resource:///org/gnome/gjs/modules/core/overrides/Gtk.js:45:40
  _parent@resource:///org/gnome/gjs/modules/script/_legacy.js:40:21
  _init@/home/bruno/.local/share/gnome-shell/extensions/[email protected]/prefs.js:25:8
  wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
  buildPrefsWidget@/home/bruno/.local/share/gnome-shell/extensions/[email protected]/prefs.js:188:15
  _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