True False window-close True False help-browser True False document-new True False accessories-text-editor True False edit-delete False 5 Profiles mate-terminal-profile-manager 400 300 dialog True False vertical 2 True False True end _Help True True True False image2 True True True True 0 True _Close True True True False image1 True True True True 1 False True end 0 True False 5 vertical 6 True False 6 True True never in True True 0 True False vertical 6 start _New True True True False image3 True True True True 0 Edit True True True False image4 True True True True 1 _Delete True True True False image5 True True True True 2 False True 1 True True 0 True False 12 True False start center _Profile used when launching a new terminal: True False False 0 False True 1 True True 1 helpbutton2 closebutton2