$set 12 #Workspacemenu

$ #WorkspacesTitle
# ワークスペース
$ #NewWorkspace
# 新規ワークスペース
$ #RemoveLast
# 末尾ワークスペース消去
