4 Commits

Author	SHA1	Message	Date
Philipp Schärer	ea74499ec2	Added mousewheel zooming	2016-02-24 22:22:32 +01:00
RoosterDragon	8e89a6a696	Simplify names, remove unused usings, remove redundant casts.	2016-01-17 21:35:36 +00:00
Paul Chote	1c06297ff7	Make editor brushes disposable.	2015-11-10 22:17:28 +00:00
Paul Chote	469f47aeea	Add new map editor UI.	2015-05-15 17:09:27 +01:00