Esempio n. 1
0
func SetWorkspace(wrk *workspace.Workspace, greedy bool) {
	old := Workspace()
	wrk.Activate(greedy)
	if old != Workspace() {
		FYI("%s", wrk)
	}

	ewmhCurrentDesktop()
	ewmhVisibleDesktops()
	Heads.EwmhWorkarea()
}
Esempio n. 2
0
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)
}