From f3098daeb4ee806649d9bddfde195b34f1da0f79 Mon Sep 17 00:00:00 2001
From: Ichthyostega
- die Funktionen zum expliziten Setzen und re-Sizing sind deprecated.
+ Anmerkung 1/2023: seinerzeit habe ich die Mechanik der Layout-Zuteilung noch nicht wirklich verstanden
+
+
+
+ commit fc5eaf857c687d769df22d6f98a25e8e359e7c49
+
+ Author: Ichthyostega <prg@ichthyostega.de>
+
+ Date: Thu Aug 22 17:34:32 2019 +0200
+
+
+
+ Timeline: find a workaround to cause the Box to reflow the rulerCanvas
+
+
+
+ seemingly, the Box with PACK_SHRINK allocates a zero height to the rulerCanvas initally,
+
+ which is correct at that point, since the widgets are not yet realised.
+
+ However, when we later set_size() on the rulerCanvas, the enclosing Box should reflow.
+
+ It does indeed if the child widget is a button or something similar, however,
+
+ somehow this reflowing does not work when we set_size on the canvas.
+
+
+
+ A workaround is to place a new set_size_request().
+
+
+
+ TODO: do this more precisely, and only on the rulerCanvas. To the contrary,
+
+ the mainCanvas is placed into a scolling-pane and thus does not need a size-Request.
+
+ Moreover, the latter automatically communicates with the hadjustment() / vadjustment() of
+
+ the enclosing scrollbars.
+
+
+
+ commit 2390385dc50a8504336f5e1fa1a5dc35eca58f2f
+
+ Author: Ichthyostega <prg@ichthyostega.de>
+
+ Date: Wed Aug 21 19:13:55 2019 +0200
+
+
+
+ Timeline: implement function to set the drawing canvas size
+
+
+
+ as can be verified with the debugger, it sets the correct sizes now.
+
+ And it is called only once (unless the content size actually changes).
+
+
+
+ TODO: however, the visible display of the GTK widgets is not adjusted
+ per DUMP-Print verifiziert: Maximalwert der Scrollbar (=hadj) ist identisch mit get_allocated_width
+
+ Beispiel:
+
+
+
+
+
+
+
+
+
+