chiark / gitweb /
Add target highlights in the Ego Log.
authorSimon Tatham <anakin@pobox.com>
Fri, 8 Dec 2023 07:25:18 +0000 (07:25 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 8 Dec 2023 07:25:18 +0000 (07:25 +0000)
commit03977ff72d5c25472300a6156b83e38e7210c3bf
treed8bda4d6f40466586b50b7058b72508a8a121b13
parent654b7d84f4d35019d03d107311922fe48c0d4087
Add target highlights in the Ego Log.

Forgot!
cursesclient.py
text.py