upping to 10K window manager (thanks @hodgestar)