On 15.03.2011 12:50, Tim Cuthbertson wrote:
That's true - it should be a lot easier to distribute as a javascript
extension. Oliver, have you asked the mutter developers whether they'd
be open to merging tiling features? Can anyone on this list answer
that?
Not explicitly, but I started this thread in hope to get some comments
from them :)
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
http://mail.gnome.org/mailman/listinfo/gnome-shell-list
