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

	Commit message (Collapse)	Author	Age	Lines
*	Add constant for default colours and selection tool	Arne Dußin	2020-12-16	-13/+3
\|
*	Refactor to make interaction between tools easier	Arne Dußin	2020-12-15	-48/+27
\|
*	Change to f64 as the preferred floating point number	Arne Dußin	2020-11-27	-4/+4
\|
*	Make polygons deletable	Arne Dußin	2020-11-26	-1/+4
\| \| \| \| \| \|	Before, the deletion tool was not targeting polygons. I also took the liberty to broaden the functionality of the surface trait, which now can check if a rectangle or polygon is contained.
*	Move containment of points/ lines into trait	Arne Dußin	2020-11-21	-3/+3
\|
*	Add simple tool sidebar gui	Arne Dußin	2020-11-20	-4/+15
\|
*	Fix deletion and wall tool ghosts	Arne Dußin	2020-11-15	-0/+4
\|
*	Add configuration options	Arne Dußin	2020-11-09	-13/+16
\|
*	Make it so icons can rotate	Arne Dußin	2020-11-08	-2/+4
\|
*	Make icons deletable	Arne Dußin	2020-11-06	-0/+1
\|
*	Add basic deletion tool	Arne Dußin	2020-11-01	-6/+63
\|
*	Refactor a major part of the project	Arne Dußin	2020-11-01	-3/+4
\| \| \| \| \| \| \| \| \| \|	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.
*	Add stub for deletion tool	Arne Dußin	2020-11-01	-0/+19