Merge pull request #1614 from falbrechtskirchinger/fix-buttons #1087

Job	Run time
Linux (clang, macos-12, Debug, 1.82.0)	15m 23s
Linux (gcc-9, ubuntu-20.04, Debug, 3.16.3, 1.69.0)	13m 21s
Linux (clang-10, ubuntu-20.04, Debug, 3.16.3, 1.69.0, true)	16m 49s
Linux (gcc-10, ubuntu-20.04, Debug, true)	20m 39s
Linux (gcc-11, ubuntu-22.04, Debug, 3.22.1, 1.74.0)	14m 50s
Linux (clang-14, ubuntu-22.04, Debug, 3.22.1, 1.74.0, 17)	4m 38s
Linux (gcc-12, ubuntu-22.04, Debug, 1.82.0)	15m 4s
Linux (clang-16, ubuntu-20.04, Debug, true)	13m 32s
	1h 54m 16s

Provide feedback