mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-30 00:58:29 +00:00
28e567b641
...by making the editor have separate bindings from the main game. The keys are separate, but some hotkey commands are shared.