Closed PhilippMDoerner closed 8 months ago
Closes #85
Adds the expander widget as described.
Docs need to be rebuilt, then this should be ready to merge.
Aaaaand done
Wait, no crap, god damnit I was just merging main back into things >_<
There we go
Looks good!
Closes #85
Adds the expander widget as described.