INSTRUCTIONS
* rotate the display by pressing left mouse button and dragging,
* Zoom in the display by pressing right mouse button and dragging,
* zoom and clip the view with the sliders in the bottom pane,
* toggle display of graphical objects by clicking the boxes in the right panel.