GtkOverlay children measurement changes do not affect GtkOverlay layout measurements
In particular, if an overlay has a child like:
<object class="GtkOverlay">
<child type="overlay">
<object class="Foo" id="foo">
<layout>
<property name="measure">true</property>
</layout>
</object>
</child>
</object>
you would expect sizing changes to foo
to cause the overlay measurements to change. That doesn't seem to be happening in chergert/gnome-text-editor
when the "options" button is checked in the search bar (causing the search bar to grow in size).
Edited by Christian Hergert