feature (desktop): double click to rename terminal tabs#628

AviPeltz merged 3 commits into

mainsuperset-sh/superset:mainfrom

rename-terminal-nabssuperset-sh/superset:rename-terminal-nabsCopy head branch name to clipboard