chiark / gitweb /
Add 'change language' in the pre-posting menu.
authorSimon Tatham <anakin@pobox.com>
Sat, 9 Dec 2023 16:43:41 +0000 (16:43 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 9 Dec 2023 17:21:45 +0000 (17:21 +0000)
commitf1f7301564dfe1a2dda54f6344ed80551bb11180
treec4cedc01218080a1b4302811b95d85f374659adf
parent84b03e2e1a449a70b5bf45f43fc8c62bf1a3a490
Add 'change language' in the pre-posting menu.

Uses the new bottom-line editor to prompt for a replacement language
tag.
cursesclient.py