It's the widget's caller's responsibility, not ours, to add '--' where due. If we do it, two instances of '--' might result. (I haven't been able to provoke this problem.) If this commit causes problems, the cause would be widget-callers that don't pass '--' although they should.
11 KiB
11 KiB