Add resolution slider to dashboard.

slider exists both globally, and can also be set for individual graphs.