Diese 8 Pixel werden sicherlich skalieren, oder?
Denn 8Pixel auf einem 4k-23''-Bildschirm wären alles andere als gut zu treffen.
Ob sie automatisch skalieren, weiß ich nicht, aber ich vermute es, da die eingestellten Werte mit einem weiteren Wert multipliziert werden. Ich
vermute der ändert sich bei High-DPI Monitoren.
Manuell kannst du die Rahmenbreite konfigurieren und zwar in der Registry im Zweig:
HKEY_CURRENT_USER\Control Panel\Desktop\WindowMetrics
Der Wert dort heißt PaddedBorderWidth.
BorderWidth scheint bei Windows 10 keinen Effekt mehr zu haben.
Eine
GUI zur Konfiguration dieses Wertes gibt es offenbar nach wie vor nicht.