search

gonzaarcr / Fildem

Fildem global menu
GNU General Public License v3.0
802 stars 86 forks source link

Incompatible with GNOME 40.1.0 #74

Open gavr123456789 opened 3 years ago

gavr123456789 commented 3 years ago

Information

image

ghost commented 3 years ago

enable the disable-extension-version-validation option

iEscapedVim commented 3 years ago

the same issue with and did disable the extension validation but get this error on the extension's config section.

`The settings of extension fildemGMenu@gonza.com had an error:

Gtk.BuilderError: /home/zero/.local/share/gnome-shell/extensions/fildemGMenu@gonza.com/settings.ui:9:33 Invalid property: GtkBox.margin_left

Stack trace:

_init@/home/zero/.local/share/gnome-shell/extensions/fildemGMenu@gonza.com/prefs.js:15:19
buildPrefsWidget@/home/zero/.local/share/gnome-shell/extensions/fildemGMenu@gonza.com/prefs.js:79: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

` I am also on Gnome 40.2, Xorg, Arch Linux

tio-trom commented 3 years ago

I have tested it with Gnome 40 for 2 or so weeks and it is kinda buggy, so you all know.

akschy commented 3 years ago

the same issue with and did disable the extension validation but get this error on the extension's config section.

`The settings of extension fildemGMenu@gonza.com had an error:

Gtk.BuilderError: /home/zero/.local/share/gnome-shell/extensions/fildemGMenu@gonza.com/settings.ui:9:33 Invalid property: GtkBox.margin_left

Stack trace:

_init@/home/zero/.local/share/gnome-shell/extensions/fildemGMenu@gonza.com/prefs.js:15:19
buildPrefsWidget@/home/zero/.local/share/gnome-shell/extensions/fildemGMenu@gonza.com/prefs.js:79: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

` I am also on Gnome 40.2, Xorg, Arch Linux

me too