Use workspace idx/name and output to restore windows instead of workspace id#2
Open
fmuehlis wants to merge 1 commit intoMTeaHead:mainfrom
Open
Use workspace idx/name and output to restore windows instead of workspace id#2fmuehlis wants to merge 1 commit intoMTeaHead:mainfrom
fmuehlis wants to merge 1 commit intoMTeaHead:mainfrom