$set 12 #Workspacemenu $ #WorkspacesTitle # ワークスペース $ #NewWorkspace # 新規ワークスペース作成 $ #RemoveLast # 末尾のワークスペースを削除