Hi Michael, Tested this, appears to be working very well from my end...
Thanks, let's hope it makes it to master :) ... Kind Regards, Cormac On Mon, 5 Jan 2026 at 23:48, Cormac Redmond <[email protected]> wrote: > Hi Michael -- thanks for this. Seems like a good default. > > I haven't been able to test yet. I will get back to you tomorrow! > > On Fri 2 Jan 2026, 18:56 Michael Strauß, <[email protected]> wrote: > >> I think I've found a solution that should work for everyone: >> >> 1. If you just place controls in the header bar and do nothing else, >> you'll get a resize border on top of your controls. With this default, >> we the resize border takes precedence over interactive controls. >> >> 2. If you specifically set HeaderDragType.NONE on your controls, and >> the controls are pushed up to the edge of the header bar, you won't >> get a resize border on the controls. Use this if you want the entirety >> of your interactive controls to be clickable. >> >> The code is in the latest version of the PR. >> >
