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 _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
