Layout und Raster

Positionen sind proportional, nicht pixelbasiert

Position und Größe eines Widgets werden als Bruchteile des Bildschirms gespeichert, nicht als Pixelkoordinaten. Ein Widget bei x: 0.5 beginnt auf halber Breite, egal auf welchem Display.

Deshalb übersteht ein Layout einen Hardwarewechsel. Öffne dasselbe Layout auf einem größeren Monitor, und jedes Widget erscheint proportional größer, in derselben relativen Anordnung. Nichts wird am Rand eines kleineren Bildschirms abgeschnitten und nichts kauert in einer Ecke eines größeren.

Die beiden Achsen werden unabhängig behandelt, sodass ein Layout beim Wechsel zwischen Bildschirmen unterschiedlicher Seitenverhältnisse gedehnt statt mit Balken versehen wird. Das ist eine bewusste Entscheidung: Die Anordnung zu erhalten wiegt schwerer als die exakte Form jedes einzelnen Widgets.

Platzieren, verschieben, skalieren

Neue Widgets bringen eine Standardgröße in Pixeln mit, die im Moment des Absetzens in einen Bruchteil deines aktuellen Bildschirms umgerechnet wird. Ein frisch abgelegtes Widget hat also auf jedem Monitor eine sinnvolle physische Größe und skaliert erst danach proportional mit.

Im Bearbeitungsmodus bekommt jedes Widget acht Anfasser: vier Ecken und vier Seiten. Eine Ecke zieht eine Kante je Achse; ein Seitenanfasser bewegt nur seine eigene Kante und lässt die gegenüberliegende Kante sowie die gesamte andere Achse genau dort, wo sie waren. Skalieren verschiebt nie die Seiten, die du nicht angefasst hast.

Zwei Einschränkungen gelten immer:

• Eine Mindestgröße von 64 Pixeln auf dem aktuellen Bildschirm, damit ein Widget nicht auf nichts zusammenschrumpfen kann.
• Vollständige Eingrenzung: Widgets werden beim Ziehen, Skalieren und Platzieren auf dem Bildschirm gehalten, sodass nichts halb aus dem Display geschoben werden kann.

Einrasten

Eine Einrasthilfe unterstützt beim Ausrichten der Widgets zueinander und zum Bildschirm, während du ziehst. Den Abstand zwischen Widgets kannst du nach Geschmack einstellen; der Wert wird pro Ansicht gespeichert.

Container

Drei Container-Widgets ändern, wie ihr Inhalt angeordnet wird:

• Stapel: mehrere Widgets teilen sich einen Rahmen, immer nur eines sichtbar.
• Registerkarten: dasselbe, mit sichtbarer Reiterleiste zum Umschalten.
• Gruppe: ein Bereich, der sich als Einheit verschiebt und skaliert, ohne seinen Inhalt neu anzuordnen.

Container verschachteln sich nicht ineinander. Während du einen Container füllst, blendet die Widget-Auswahl Container-Typen aus, statt eine Karte anzubieten, die sich nicht hinzufügen ließe.

Ausgeklappte Fenster

Inhalts- und Bearbeitungs-Widgets lassen sich in einem eigenen, regulär gerahmten Desktop-Fenster öffnen. Das Widget behält seine physische Größe beim Wechsel zwischen Desktop-Ebene und Fenster, springt beim Ausklappen also nicht in der Skalierung.

Wo das gespeichert wird

Layouts werden pro Ansicht auf deinem Rechner gespeichert, neben dem Rest deiner Themia-Konfiguration, und sind in Export und Import enthalten.