Changes since tag v9.0.1.212

commit f2bba9d4d8f12ecb8e9056bf31afddc66394dbe0
Author: Continuity <continuity@gmx.net>
Date:   Sun Oct 25 19:52:59 2020 +0100

    - refreshing options tabs when selected

