You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
GNOME 3.12 is out and gnome-shell-timer is not compatible with it. I tried updating the metadata but there's more work needed:
Gjs-Message: JS LOG: Extension "timer@olebowle.gmx.com" had error: TypeError: item.addActor is not a function
The text was updated successfully, but these errors were encountered:
Sorry, I was wrong. The code is compatible with GNOME 3.12 (I forgot that the Debian package had a commit reverted to ensure compat with Gnome 3.8). That said there are two warnings emitted:
Gjs-Message: JS WARNING: [/usr/share/gnome-shell/extensions/timer@olebowle.gmx.com/extension.js 146]: assignment to undeclared variable bin
Gjs-Message: JS WARNING: [/usr/share/gnome-shell/extensions/timer@olebowle.gmx.com/extension.js 192]: assignment to undeclared variable item
GNOME 3.12 is out and gnome-shell-timer is not compatible with it. I tried updating the metadata but there's more work needed:
Gjs-Message: JS LOG: Extension "timer@olebowle.gmx.com" had error: TypeError: item.addActor is not a function
The text was updated successfully, but these errors were encountered: