let types_schema = ([
{typename="Postscript Files"; extensions=[".ps"]; mactypes=["TEXT"]};
{typename="Portable Document Format"; extensions=[".pdf"]; mactypes=["TEXT"]};
{typename="All Files"; extensions=["*"]; mactypes=[""]}
] : Tk.filePattern list)