probleem met muis-DPI in Windows 11 oplossen