Skip to content
This repository has been archived by the owner on May 1, 2022. It is now read-only.

Cannot access Gradio settings under Gnome 40 #7

Open
kev005 opened this issue Jul 15, 2021 · 0 comments
Open

Cannot access Gradio settings under Gnome 40 #7

kev005 opened this issue Jul 15, 2021 · 0 comments

Comments

@kev005
Copy link

kev005 commented Jul 15, 2021

Seeing the following error when attempting to add a new station with Gradio settings:

Error: No property border_width on GtkBox

Stack trace:
_init/Gtk.Widget.prototype._init@resource:///org/gnome/gjs/modules/core/overrides/Gtk.js:45:40
buildPrefsWidget@/home/kevint/.local/share/gnome-shell/extensions/[email protected]/prefs.js:35:17
_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

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant