Hi (again),

Here is another patch that IMHO does a better job (at least in this use
case: a button with a label).  I also attach a little video that shows
its behaviour (hope you could read it).  WDYT?