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