graf_karto - Dungeon mapping tool because clearly there are not enough out there!

	Commit message (Collapse)	Author	Age	Lines
*	Change to f64 as the preferred floating point number	Arne Dußin	2020-11-27	-27/+20
\|
*	Add polygon graph	Arne Dußin	2020-11-17	-1/+1
\|
*	Fix some style errors	Arne Dußin	2020-11-10	-2/+14
\| \| \| \| \|	Fixed the last warnings and ran clippy on the project. Fixed where appropriate and taught clippy otherwise. Now runs through clean.
*	Add dimension indicator without direct value editing	Arne Dußin	2020-11-10	-2/+21
\|
*	Refactor a major part of the project	Arne Dußin	2020-11-01	-0/+233
	In order to be able to save and load the map, a major rework of the code seemed necessary, since Vector2 and Rectangle of raylib do not implement serialize, and it seems cleanest to use the serialize/deserialize traits of serde, to save for instance to RON. ToolShed was renamed to Editor, since it should better show, that it does quite a bit more than harbour tools. The map data is now centrally saved in the editor, instead of decentralised in the tool structs.