adds optional menu to rename workspaces#11

Open

rk1a wants to merge 7 commits intofthx:mainfrom

rk1a:rename_menu

Commits on Dec 30, 2021

adds optional menu to rename workspaces
rk1a
committed

Commits on Jan 3, 2022

do menu building on ws number changed
rk1a
committed

Commits on Feb 6, 2022

Fixes for changeing num ws, whitespace handling
rk1a
committed