chiark / gitweb /
Fix getting stuck in the logs menus
authorSimon Tatham <anakin@pobox.com>
Thu, 7 Dec 2023 07:14:08 +0000 (07:14 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 7 Dec 2023 07:14:08 +0000 (07:14 +0000)
commitc407846273b2f7b2e1a3853135908ccb7690c0de
tree9d5fbe310f1627828a98f692e5fb7ee7d30a1418
parent34e83871520fc948db7f08cbdfe5dfad462c7be0
Fix getting stuck in the logs menus
cursesclient.py