new keybindng F2 to edit the active tab name, also fix refocus after name editing#3158

sawka merged 1 commit intomainwavetermdev/waveterm:mainfrom

sawka/tab-rename-hotkeywavetermdev/waveterm:sawka/tab-rename-hotkeyCopy head branch name to clipboard