d625901032
This pull request fixes an issue where the pain tool in tile_map_editor.cpp had two different shortcuts for the same tool.