zeertzjq 79ae152697 patch 9.0.0015: with EXITFREE defined terminal menus are not cleared ...

Problem:    With EXITFREE defined terminal menus are not cleared.
Solution:   Also clear terminal menus. Remove condition that is always true.
            (closes #10641)

2022-07-01 12:13:15 +01:00

68 KiB

Raw Blame History

View Raw