Re: Mutter workspace layout != Overlay layout

[Dan Winship <danw gnome org>]

On 09/17/2009 02:15 PM, Michlal Nanasi wrote:
> Hi,
> 
> There is the difference between workspace(desktops, activities) layout
> in overlay and in mutter.

"workspace" is correct. And yeah, there's a FIXME comment in
workspaces.js about it.

Hacking up mutter to hardcode gnome-shell's layout is definitely not the
right fix.

A better fix might be to use meta_keybindings_set_custom_handler() to
intercept the workspace-switch keys, and then figure out which workspace
to change to ourselves. Metacity would still be internally confused
about the layout, but it wouldn't really matter as much.

-- Dan