>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> See it that way: I removed an obsolete non-const method for Michael> "defined" and added a _different_ non-const method for Michael> "used". There is no case in which we want to change a Michael> "defined" toolbar whereas we have to change a "used" toolbar. OK, go ahead. JMarc
