On 15.03.2011 12:50, Tim Cuthbertson wrote:
Not explicitly, but I started this thread in hope to get some comments from them :)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?
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
