Double tap tab to rename a tab, rather than close it