"Font Size" {
	"Larger"	"fontsize=larger"
	"Smaller"	"fontsize=smaller"
}
"Encoding" {
	"Auto"		"encoding=auto"
	"UTF-8"		"encoding=UTF-8"
}
"Full Reset"	"full_reset"
-
pty_list
"New PTY"	"open_pty"
