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

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

sawka merged 1 commit into

mainwavetermdev/waveterm:mainfrom

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