答え1
今2023年に私はそれを見つけました: https://cinnamon-spices.linuxmint.com/applets/view/222(「ワークスペース名」)。
名前を編集するには、dconfデータベースを編集する必要があることを知っています。しかし、パネル名に表示するためにJavaScriptを編集しました。
let name = 'ws-'+ (activeWorkspace.index()+1); //Main.getWorkspaceName(activeWorkspace.index());