chiark / gitweb /
Forgot to make sure ESC G worked!
authorSimon Tatham <anakin@pobox.com>
Thu, 28 Dec 2023 18:06:52 +0000 (18:06 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 28 Dec 2023 18:06:52 +0000 (18:06 +0000)
commit68c05ab5fe073264d88cd155c35b9817851891a3
treef6ebd5403783771db53f7dbbf7f7206a56d7db1a
parent912f7e6dcd12cec32749bdfc46e0a7ba2b35e0c3
Forgot to make sure ESC G worked!

It _worked_ in the Python version, but I apparently left it out of the
visible menu options. But here they're more tightly tied together, so
leaving it out of the visible options made it not work at all.
src/menu.rs