Dec 3, 2024

New:
- New button in symbol search to insert the appropriate capital/lowercase letter into the corresponding mode (Thanks to Lukas!)
Revisions:
- Fixed that after deleting a popup button, the width of the first button was changed (Thanks to Jens!)
- Symbol search: keyboard displayed using tabs instead of buttons for standardization (Thanks to Lukas!)
- List of functions is now displayed dark in dark mode (Thanks to Ralf!)

All changes in the app or on the website