..now this more or less works and indeed crops the button widget used here for a proof-of concept; however the label within that button emits a lot of layout warnings on each event handling and drawing routine, indicating that we violated its fundamental assumptions. Not sure how to proceed from here; also not sure if this actually becomes turns into a relevant issue in practice, since maybe in most cases we'll rather increase the size, and all we really have to do is handle the Clip's textual label properly. A clip smaller than some drop-down icon should probably not be rendered explicitly, just as overview |
||
|---|---|---|
| .. | ||
| draw | ||
| DIR_INFO | ||
| empty.html | ||
| InterfaceConcept_Varga.mm | ||
| renderengine.html | ||
| thinkPad.ichthyo.mm | ||
| uml | ||
| workflow.mm | ||