godot

Author	SHA1	Message	Date
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
Haoyu Qiu	ccde2bf66f	Add property name style toggle to Inspector	2022-03-28 18:52:09 +08:00
Haoyu Qiu	e64cd21f6f	Remap property path based on path substrings Also added captialization caching.	2022-03-18 00:31:13 +08:00
Haoyu Qiu	d6df2ffad8	i18n: Make property paths and categories translatable	2022-03-03 18:31:40 +08:00