On Sun, Jun 25, 2023 at 11:32:56AM +0200, Ivan Morén wrote:
> I made this patch (see the attached animated gif) forever ago, and
> have been using it ever since. Does anyone have interest in this as a
> patch? I would be happy to share it, but would probably want to (maybe
> with help?) clean up th
On Sun, Jun 25, 2023 at 11:32:56AM +0200, Ivan Morén wrote:
> I made this patch (see the attached animated gif) forever ago, and
> have been using it ever since. Does anyone have interest in this as a
> patch? I would be happy to share it, but would probably want to (maybe
> with help?) clean up th
