List of files. The list is composed of several numbered files, with
the display of the corresponding file name, between brackets.
The highlighted file is the current one, which can become the selected one (by double
clicking with the mouse).
File i (name). The file i is not the selected one.
>> File i (name). The file number i is the selected one.