Changes since tag v7.2

commit a84c34df5ebde7acd8874eaa562e70d90215b285
Author: zanony <zanony@jsommer.at>
Date:   Mon Nov 9 01:34:39 2020 +0100

    Fix scaling of gui

