Release 1.96.0

[1.96.0] - 2022-05-17

Changed

• Remove all mentions of regular .cc .json .gz file extensions from file panel and sidebar #2793

Fixed 🐞

• Update slider of area metric options correctly on changes of related input field #2787
• Prevent invalid input for margin in area metric options to be submitted #2799

Chore 👨‍💻 👩‍💻

• Introduce custom angular material theme #2784
• Migrate height-settings-panel-component #2790
• Fully migrate custom-config-component #2760