Not working with gnome shell 42.2 Ubuntu 22.04

[vktRus]

Error: No property border_width on GtkBox

Stack trace:
_init/Gtk.Widget.prototype._init@resource:///org/gnome/gjs/modules/core/overrides/Gtk.js:55:50
buildPrefsWidget@/home/vkt/.local/share/gnome-shell/extensions/[email protected]/prefs.js:88:17
_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:129:33
asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:115:22
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

[malko]

same problem here

[justbest23]

Same. hoping for a fix! I'm embarrassingly dependent on this extension!

[ruudvandenboomen]

I've opened a PR which should fix this problem #139. It works for me so hope it will be accepted 😄

[hobbesjaap]

I've opened a PR which should fix this problem #139. It works for me so hope it will be accepted smile

I just tried your pull request one (downloaded zip, modified the manifest file and put it in my .local folder on Gnome 43, unfortunately it doesn't work for me and throws the following error:

The settings of extension [email protected] had an error:
Error: No property margin on GtkBox

Stack trace:
_init/Gtk.Widget.prototype._init@resource:///org/gnome/gjs/modules/core/overrides/Gtk.js:55:50
buildPrefsWidget@/home/jaap/.local/share/gnome-shell/extensions/[email protected]/prefs.js:104:16
_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*_handleMethodCall@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:368:35
_wrapJSObject/<@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:401: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

Any help you could give would be greatly appreciated! Looking forward to trying this extension.

[mm0]

@hobbesjaap I had the same issue as you with #139 and spent a little time trying to update to make it compatible with gtk4. (cc: @ruudvandenboomen) Ultimately, I was unable to get it to work and came across this comment which has a link to an alternative plugin that does work with ubuntu 22.04/gtk4.

[hobbesjaap]

@mm0 Thanks for responding - Tiling Assistant works great on Gnome 43, thanks!!