TabWidget bar: add double_clicked signal