New dev tools option for window manager pointer location.
4 files changed