>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Martin Vermeer wrote: >> You put your finger just on the one remaining wart. Unfortunately >> insettext doesn't have the info needed for this. The total width we >> need is text_.maxwidth_ + button width, and we only have width() >> which is an upper bound for the button width. >> >> Do you have any ideas for this? Juergen> No, unfortunately not. I've looked into it, but I don't know Juergen> how to get the info either. >> If not, I propose to just check this is as it is an improvement. Juergen> Agreed. You can commit to 1.4 too, I guess. JMarc