Re: [patch] selection in source panel

[Jürgen Spitzmüller]

Alfredo Braunstein wrote:
> I fixed some glitches and I have positive reports from Enrico and Bo. Even
> if the patch seems safe, this is just a small feature. I'll wait a little
> bit longer if everything works as expected for everyone.

OK.

Jürgen