chiark / gitweb /
Prepare to reuse post-selection UI for other things.
authorSimon Tatham <anakin@pobox.com>
Fri, 8 Dec 2023 07:02:35 +0000 (07:02 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 8 Dec 2023 07:02:35 +0000 (07:02 +0000)
commitc8564693dd5dce39b3a4feff3461c7b7657fa29a
tree4ea9243bce67c89a496125171af6065e6e18e892
parentb1d0d1f98c90a6563507c91338e8a04ffd618fea
Prepare to reuse post-selection UI for other things.
cursesclient.py