Follow-up Comment #3, patch #3268 (project wesnoth):
The original intention (as far as I can tell, anyway, I did not code this) is
that the option label _is_ supposed to change only in the Map menu in the map
editor, and not in the Hotkeys dialog. The latter is most likely just a
consequence of the technical limitation I mentioned in bug #19513.
_______________________________________________________
Reply to this item at:
<http://gna.org/patch/?3268>
_______________________________________________
Message sent via/by Gna!
http://gna.org/
_______________________________________________
Wesnoth-bugs mailing list
[email protected]
https://mail.gna.org/listinfo/wesnoth-bugs
