Windows 10 Tech Preview

[Bernhard Geyer]

Zitat von jaenicke:

Man hat ca. 8 Pixel, davon 1 Pixel der sichtbare Rahmen, Platz zur Größenänderung.

Diese 8 Pixel werden sicherlich skalieren, oder?
Denn 8Pixel auf einem 4k-23''-Bildschirm wären alles andere als gut zu treffen.

[cookie22]

Das kannst du ganz leicht testen, wenn du mit dem Snipping Tool in Win10 einen Screenshot vom Fenster machst, dann siehst du wie breit der unsichtbare Rand ist.

[jaenicke]

Zitat von Bernhard Geyer:

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.