Re: Killing buffers with mouse

[Stefan Monnier]

>> PS: I really hope that in post-22 we can refine the toolbar so that we can
>> put different bindings for different buttons and also different bindings for
>> the "down" and the "up" events.
> Is that possible with e.g. GTK toolbar or W32 toolbar?

I don't know.

> If not, it doesn't make much sense to do it just for the native toolbar.

It might be a reason for someone not to spend time on it, but if someone
else decides it's important enough and comes up with a patch, I don't think
it should be grounds to reject the patch.


        Stefan