/** Interactively edit the file format in a modal dialog.
*/
protected void _editFormat() {
PlotFormatter formatter = new PlotFormatter(plot);
formatter.openModal();
}
/** Query the user for a filename and export the plot to that file.
* Currently, the only supported format is EPS.
*/