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