+ 0000001086: POSTCONDITION: body-canvas-widget.cpp:512: worker_3: maybeRebuildLayout: (not isnil (profile_)) DisplayEvaluation logic broken +
+ ++ adjust (rulerCanvas_, canvasWidth ≔0, rulerHeight ≔11✔) +
+ ++ scrollPos ⟿ zoomWindow geändert, nachdem das Profil aufgebaut wurde +
+ ++ ...denn den pixSpan sollte sich ja grade eben nicht ändern, sondern nur der sichtbare Fenster-Ausschnitt; die Implementierung mit dem ZoomWindow zielt ja genau darauf, die Metrik konstant zu halten, selbst wenn sich das sichtbare Fenster (wie hier) ändert +
+ ++ und nur das kann man vom Design her einfordern (daß sie sich stabilisiert und nicht in Oszillationen gerät) +
+ +