This used to be one of the tab-widgets, which was illogical and caused confusion. Notably, erroneously clicking on the tab header led to a reset of the dive selection. Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
