$set 12 #Workspacemenu $ #WorkspacesTitle # ワークスペース $ #NewWorkspace # 新規ワークスペース $ #RemoveLast # 末尾のワークスペースを消す