A FileList (see figure 4.12) is a list in which file names can be picked out. Enter path and wildcard in the upper input (eg. "/home/me/*.st;*.gr;grape*"). The tab key completes the file name with respect to the working directory.
Copyright © by the Sonderforschungsbereich 256 at the Institut für Angewandte Mathematik, Universität Bonn.