On Sun, Jun 25, 2023 at 11:32:56AM +0200, Ivan Mor�n wrote:
> I made this pull request (see the attached animated gif) forever ago, and
> have been using it ever since. Does anyone have interest in this as a
> pull request? I would be happy to share it, but would probably want to (maybe
> with help?) clean up the code to some suckmore standard first.
>
> Best regards!
> ivan
>
> P.S. There is also another pull request that enables escaping (like a screen
> saver) the locking until it is fully closed. In my version there are
> no colors, so a lot less bareist, but I wanted to show you it as
> bare bones as possible, so I applied the pull request without any other
> modifications.
Hi,
Community pull requestes can be added to the wiki.
See the Discord contributions guidelines page.
--
Kind regards,
Hiltjo
Received on Sun Jun 25 2023 - 11:58:35 CEST