The following mouse events are defined when the mouse pointer is in the window showing a list of page numbers of the current file (table of contents):
Scrolls the table of contents.
Go to this page.
Mark this page if it is unmarked, but unmark it if it is marked.
Marks/unmarks all unmarked/marked pages in the region crossed by the mouse pointer during the movement.