//! An offscreen window which gets focus when nothing else has it
inline Window focuswindow() const { return _focuswindow; }
//! Returns the desktop being displayed
inline unsigned int desktop() const { return _desktop; }
//! Returns the number of desktops
inline unsigned int numDesktops() const { return _num_desktops; }
//! An offscreen window which gets focus when nothing else has it
inline Window focuswindow() const { return _focuswindow; }
//! Returns the desktop being displayed
inline unsigned int desktop() const { return _desktop; }
//! Returns the number of desktops
inline unsigned int numDesktops() const { return _num_desktops; }