On Fri, Jun 27, 2014 at 12:57 PM, Petko Ditchev <[email protected]> wrote: > It returns false.
Good, so that's the problem. > How do I change the setting ? It depends on whether you are using the normal or classic session, still gsettings reset org.gnome.shell.overrides edge-tiling gsettings reset org.gnome.shell.extensions.classic-overrides edge-tiling should take care of both. Cheers, Florian _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
