0.47.0 (2020-07-14)

Features

• webui: change internals for shortcuts. add new shortcuts for settings (b402817), closes #172