This makes use of the "ScrollingTable" Panel defined in
ScrollingTable.js
.
The "AutoRepeatButton" Panel is also defined in that file.