[Bug 676931] mouse-pointer size should increase when connected to an external BIG display