The slider for Gantt views was part of the 7+1 live demos I published last November; moving the handle or directly clicking on the slider allows you to resize the Gantt.
After some additional adjustments, I am ready to release today a sample script.
I did not build the slider. I simply took an existing one offered by the jQuery UI library, and combined it with my technique to scale down the Gantt view.