Kleines Problem behoben

Hat im Profile-Editor gefehlt: Das Druckmenü im “Datei” Menü. Ist ab dem nächsten Update aber wieder da…

Grund fürs Problem sind vorbereitende Arbeiten, den Stahl- und Betonprofil-Editor zu erweitern. Beide sollten hinterher zusätzlich zu den bisherigen Funktionen auch die Funktionen aus den “alten” Querschnittsprogrammen haben… (Das wird aber noch ein bisschen dauern.)