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

	Commit message (Collapse)	Author	Age	Lines
*	Rect rooms are now normal polygon rooms in data	Arne Dußin	2021-01-11	-108/+5
\| \| \| \| \| \| \|	Before there was an extra data type for rectangular rooms. This is now changed, with the rectangle tool remaining, to create these often required rooms faster, but the data type is just a normal polygon that is generated from a rect to reduce redundancy.
*	Fix warnings	Arne Dußin	2021-01-08	-1/+1
\|
*	Merge pull request #25 from LordSentox/better-polygons	Arne Dußin	2021-01-06	-3/+4
\|\ \| \| \| \|	Change to polygongraph instead of polygon in roomtool
\| *	Change to polygongraph instead of polygon in roomtool	Arne Dußin	2020-12-27	-3/+4
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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 loading capabilities back	Arne Dußin	2021-01-06	-1/+34
\| \|
* \|	Add CLI with save feature	Arne Dußin	2021-01-06	-1/+55
\|/
*	Add previously missing docs where appropriate	Arne Dußin	2020-12-21	-10/+89
\|
*	Add dimensional indicator with scaling	Arne Dußin	2020-12-20	-42/+39
\|
*	Add constant for default colours and selection tool	Arne Dußin	2020-12-16	-41/+93
\|
*	Refactor to make interaction between tools easier	Arne Dußin	2020-12-15	-0/+599