예제 #1
0
파일: state.go 프로젝트: yannicklm/wingo
func SetWorkspace(wrk *workspace.Workspace, greedy bool) {
	old := Workspace()
	wrk.Activate(greedy)
	if old != Workspace() {
		FYI("%s", wrk)
	}

	ewmhCurrentDesktop()
	ewmhVisibleDesktops()
	Heads.EwmhWorkarea()
}
예제 #2
0
파일: state.go 프로젝트: Pursuit92/wingo
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)
}