1.96.0

1.96.0 is live and ready for download. This version brings the following:

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