v1.0.18
Jannis Bolecke
@jbolecke
fee3592c
·
Make toolbar hideable
·
Jul 23, 2023
Make editor toolbar hideable
