chiark / gitweb /
Fix keystrokes in options menus.
authorSimon Tatham <anakin@pobox.com>
Sat, 3 Feb 2024 09:40:05 +0000 (09:40 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 3 Feb 2024 10:21:42 +0000 (10:21 +0000)
commit21da9165f01ce2ba7f962e4bc1f5b4afcc2fbce7
tree1ebfd45e5a923aaa89e5079be43646c60de96a56
parentb130707d4b42183b9e77491b6bf712e82993cf92
Fix keystrokes in options menus.

The status line advertised [RET] as a way to get out of the menu, but
handle_keypress() only supported [Q]. Now it supports [RET] too.

Also, [SPACE] is the keypress to submit changes to user-related
options, but the status line forgot to mention it at all! Now it does.
src/options.rs