4 commits

Author	SHA1	Message	Date
Jesús Espino	74de574525	Making propertyMenu a pure widget	2020-11-03 19:35:24 +01:00
Chen-I Lim	ab10e5dbe6	Map value <-> IDs when changing select properties	2020-10-26 09:31:25 -07:00
Jesús Espino	ffc638635f	Moving css aside menu components	2020-10-26 14:43:29 +01:00
Jesús Espino	eea16494cb	Migrating property menu to the new menu system	2020-10-26 10:52:33 +01:00