mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-29 00:24:13 +00:00

...remove the redundant tool menu, make the mouse overlay draw on border tiles when in the editor
...remove the redundant tool menu, make the mouse overlay draw on border tiles when in the editor