func SetWorkspace(wrk *workspace.Workspace, greedy bool) { old := Workspace() wrk.Activate(greedy) if old != Workspace() { FYI("%s", wrk) } ewmhCurrentDesktop() ewmhVisibleDesktops() Heads.EwmhWorkarea() }
func SetWorkspace(wrk *workspace.Workspace, greedy bool) { mousebind.GrabPointer(X, Root.Id, Root.Id, 0) old := Workspace() wrk.Activate(greedy) if old != Workspace() { FYI("%s", wrk) } ewmhVisibleDesktops() ewmhCurrentDesktop() Heads.EwmhWorkarea() mousebind.UngrabPointer(X) }