$set 12 #Workspacemenu

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