better message display in map edit tools (fix #8873)