title: does vaadin 12 charts support zooming from java and declarative html?
body: <p>I found <a href="https://api.highcharts.com/highcharts/chart.zoomType" rel="nofollow noreferrer">https://api.highcharts.com/highcharts/chart.zoomType</a> which implies that zooming is possible, but I couldn't figure out either</p>
  
  <ol>
  <li>the java code to enable zooming or</li>
  <li>the html code (in the declarative template html files) to enable zooming.</li>
  </ol>
  
  <p>Is zooming automatically/easily supported in Vaadin 12 charts just like it is with highcharts? (In highcharts, it's a simple option to enable...)</p>
  
  <p>(Similarly, highcharts supports panning, and probably a bunch of other nice "sexy"/"useful" features -- how do we get those in Vaadin?)</p>