4 commits

Author	SHA1	Message	Date
Fabio Alessandrelli	cf39f36685	[Editor] Report GDExtension export errors and missing libraries.	2022-05-24 12:01:30 +02:00
reduz	45af29da80	Add a new HashSet template ... * Intended to replace RBSet in most cases. * Optimized for iteration speed	2022-05-20 22:40:38 +02:00
reduz	746dddc067	Replace most uses of Map by HashMap ... * Map is unnecessary and inefficient in almost every case. * Replaced by the new HashMap. * Renamed Map to RBMap and Set to RBSet for cases that still make sense (order matters) but use is discouraged. There were very few cases where replacing by HashMap was undesired because keeping the key order was intended. I tried to keep those (as RBMap) as much as possible, but might have missed some. Review appreciated!	2022-05-16 10:37:48 +02:00
bruvzg	98d0af7d5c	Implement GDExtension export plugin.	2022-03-16 11:16:19 +02:00