On Mon, May 4, 2015 at 9:28 AM, karl ramberg <karlramberg at gmail.com> wrote:
> I was wondering about the senders and implementors buttons. It would be nice
> to be able to chose either local or global scope. I'm not sure we have a
> nice button widget that can do that.

Currently those buttons open a list of implementors with one click but
which can be subsequently filtered via "filter message list..." |
"messages that...".  Then, in the dialog, simply enter the expression
how you want to filter.