On Tue, Jan 1, 2013 at 2:55 PM, Stefan G. Weichinger <li...@xunil.at> wrote:
> Am 28.12.2012 00:45, schrieb Canek Peláez Valdés:
>
>> No, it works that way. You could changed in previous versions with the
>> /apps/metacity/general/mouse_button_modifier key in gconftool-2, but
>> now it's gone. I don't know if anyone is working on bring it back.
>
> found this:
>
> https://twitter.com/schmichael/status/262982638653022208
>

For the sake of mailing list archives, that's:

"Aha! mouse-button-modifier changed from <Alt> to <Super> in Gnome 3.6
(at least on Ubuntu 12.10). That took forever to figure out." -
Michael Schurter <@schmichael>

--
:wq

Reply via email to