probleem met de muis-DPI in Windows 11 oplossen