System.Information.EWMHDesktopInfo
type X11Window
type X11WindowHandle
data WorkspaceIdx
withDefaultCtx
isWindowUrgent
getCurrentWorkspace
getVisibleWorkspaces
getWorkspaceNames
switchToWorkspace
switchOneWorkspace
getWindowTitle
getWindowClass
getActiveWindowTitle
getWindows
getWindowHandles
getWorkspace
focusWindow