Implement redesign Menu-Bar (!23) · Merge requests · eit / simulationstool · GitLab

Due to a scheduled upgrade to version 17.6, GitLab will be unavailable on Monday 25.11., from 20:00 until 21:00.

Christoph Lutters requested to merge 5-menu-bar into main Sep 01, 2024

Most of the changes are already merged.

Closes #5 (closed)