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

	Commit message (Collapse)	Author	Age	Lines
*	Rework graf karto to fit the client/server structure	Arne Dußin	2021-02-02	-134/+0
\|
*	Rename PolygonRoom to just Room	Arne Dußin	2021-01-11	-1/+1
\|
*	Change to polygongraph instead of polygon in roomtool	Arne Dußin	2020-12-27	-140/+83
\| \| \| \| \| \| \| \| \| \| \|	The polygon room tool used a convoluted process for determining what the user actually wants to draw. I have changed to the polygon graph instead, which makes the checks easier and restricts the user a bit less. In the process however I found a serious problem with my handling float, so everything needed to change to margin compares (which I of course should have done in the beginning. Guys, take the warning seriously and don't ignore it for ten years like I did. It will come back to haunt you.. apparently) instead of direct equality.
*	Add previously missing docs where appropriate	Arne Dußin	2020-12-21	-0/+5
\|
*	Add dimensional indicator with scaling	Arne Dußin	2020-12-20	-5/+5
\|
*	Add constant for default colours and selection tool	Arne Dußin	2020-12-16	-25/+5
\|
*	Refactor to make interaction between tools easier	Arne Dußin	2020-12-15	-97/+40
\|
*	Change to f64 as the preferred floating point number	Arne Dußin	2020-11-27	-26/+26
\|
*	Fix clippy lints and add polygon tool button icon	Arne Dußin	2020-11-25	-3/+2
\|
*	Add polygon rooms that can actually kind of be used	Arne Dußin	2020-11-25	-35/+149
\| \| \| \| \| \|	It's still kind of strange to use the polygon tool, but at least it seems stable enough so I'm confident enough (and sick enough of it) to release it into the wild.
*	Add unstable polygon room tool	Arne Dußin	2020-11-24	-4/+63
\|
*	Add unfinished polygon room tool	Arne Dußin	2020-11-20	-0/+91
	When adding the polygon room tool, a problem with drawing polygons arised. Drawing a simple, but nonregular polygon is not something that is supported by raylib, so further additions to the math library are needed.