>>>>> "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

Reply via email to