Not yet, the extension includes several monkey-patches (it modifies the behavior of the shell) and is highly sensitive to changes of the code. It is: https://extensions.gnome.org/extension/440/workspace-separation-on-dash/
Thanks! :-) 2014-05-01 18:09 GMT+02:00 Sindhu S <sind...@live.in>: > > > > On Thu, May 1, 2014 at 5:57 PM, Bazon Bloch <bazonbl...@arcor.de> wrote: > >> Thanks, that's a better point to start... >> > > Did you manage to udpate your extension to 3.12? > Which extension have you written? > > Thanks! >
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
