316
316
menu.setActionCommand(LaTeXDrawResources.LABEL_EXPORT_PPM);
319
329
exportTemplateMenu = new JMenuItem(LaTeXDrawResources.LABEL_TEMPLATE_EXPORT);
320
330
exportTemplateMenu.addActionListener(ml);
321
331
exportTemplateMenu.setActionCommand(LaTeXDrawResources.LABEL_TEMPLATE_EXPORT);