"Font Size" {
	"10"		"fontsize=10"
	"12"		"fontsize=12"
	"14"		"fontsize=14"
	"16"		"fontsize=16"
	"20"		"fontsize=20"
	"24"		"fontsize=24"
}
"Encoding" {
	"EUC-JP"	"encoding=EUC-JP"
	"SJIS"		"encoding=Shift_JIS"
	"UTF-8"		"encoding=UTF-8"
	-
	"Latin-1"	"encoding=ISO-8859-1"
	-
	"Auto"		"encoding=auto"
}
"PTY" {
	pty_list
	-
	"New PTY"	"open_pty"
	"New Screen"	"open_screen"
}
"Full Reset"	"full_reset"
