Windows 10 Tech Preview

[Sir Rufo]

@stahli

Nein, beim Mac sieht alles viel aufgeräumter aus :)

[Bernhard Geyer]

Wenn es jetzt beim normalen größenveränderlichen Fenstern keinen Rahmen mehr gibt wird es hoffentlich keine Fummelei den Bereich zu treffen mit dem man die Fenstergröße Ändern kann.

[jaenicke]

Naja, genaugenommen sieht man den Rahmen nur nicht mehr. ;-)
Man hat ca. 8 Pixel, davon 1 Pixel der sichtbare Rahmen, Platz zur Größenänderung. Dieser Platz gehört quasi zu dem Fenster, auch wenn man den (durch den Ebeneneffekt abgedunkelten) Inhalt von darunter sieht. Das ist also ähnlich wie bei Aero Glass, nur diesmal ganz ohne sichtbaren transparenten Bereich.

Das hat auch Vorteile finde ich:
Wenn man aus Versehen direkt neben das Fenster klickt, meinte man meistens ja doch das Fenster und nicht das darunter. Man verklickt sich also nicht ganz so leicht.
Und man hat den Vorteil von Aero Glass (mehr Inhalt sichtbar) ohne die Nachteile von Aero Glass (das ich zwar nicht schlecht fand, die Lösung jetzt aber besser).

[Bernhard Geyer]

Zitat:

Zitat von jaenicke (Beitrag 1274837)

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:

Zitat von Bernhard Geyer (Beitrag 1274839)

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.