답변1
이제 2023년에 나는 그것을 발견했습니다: https://cinnamon-spices.linuxmint.com/applets/view/222("작업공간 이름").
이름을 편집하려면 dconf 데이터베이스를 편집해야 한다는 것을 알고 있습니다. 하지만 패널 이름에 표시하기 위해 자바스크립트를 편집했습니다.
let name = 'ws-'+ (activeWorkspace.index()+1); //Main.getWorkspaceName(activeWorkspace.index());