home *** CD-ROM | disk | FTP | other *** search
/ PC Professionell 2005 February / PCpro_2005_02.ISO / files / opensource / Opcion_1.1.1 / Opcion_v1.1.1.exe / FontViewer / windows / MainWindow.class (.txt) next >
Encoding:
Java Class File  |  2004-04-25  |  17.8 KB  |  544 lines
  1. package FontViewer.windows;
  2.  
  3. import FontViewer.components.FavouriteFontsPanel;
  4. import FontViewer.components.ListPanel;
  5. import FontViewer.components.ListViewPanel;
  6. import FontViewer.components.OtherFontsPanel;
  7. import FontViewer.components.SampleTextPanel;
  8. import FontViewer.components.SystemFontsPanel;
  9. import FontViewer.resources.MyImageIcon;
  10. import FontViewer.windows.dialogs.AboutDialog;
  11. import FontViewer.windows.dialogs.TextAreaFromFileDialog;
  12. import com.jgoodies.plaf.BorderStyle;
  13. import com.jgoodies.plaf.HeaderStyle;
  14. import com.jgoodies.plaf.plastic.PlasticXPLookAndFeel;
  15. import com.jgoodies.plaf.plastic.theme.SkyBlue;
  16. import java.awt.BorderLayout;
  17. import java.awt.Dimension;
  18. import java.awt.Font;
  19. import java.awt.Toolkit;
  20. import java.awt.event.ActionEvent;
  21. import java.awt.event.ComponentEvent;
  22. import java.awt.event.MouseEvent;
  23. import java.awt.event.WindowEvent;
  24. import java.io.BufferedWriter;
  25. import java.io.File;
  26. import java.io.FileWriter;
  27. import java.io.IOException;
  28. import javax.swing.JCheckBoxMenuItem;
  29. import javax.swing.JFileChooser;
  30. import javax.swing.JFrame;
  31. import javax.swing.JMenu;
  32. import javax.swing.JMenuBar;
  33. import javax.swing.JMenuItem;
  34. import javax.swing.JOptionPane;
  35. import javax.swing.JPanel;
  36. import javax.swing.JSeparator;
  37. import javax.swing.JSplitPane;
  38. import javax.swing.JTabbedPane;
  39. import javax.swing.KeyStroke;
  40. import javax.swing.UIManager;
  41. import javax.swing.border.Border;
  42.  
  43. public class MainWindow extends JFrame {
  44.    private final boolean DEBUG_SIZE = false;
  45.    private final int SYSTEM_FONTS = 0;
  46.    private final int OTHER_FONTS = 1;
  47.    private final int FAVOURITE_FONTS = 2;
  48.    private final int[] FONT_SIZES = new int[]{6, 8, 9, 10, 11, 12, 14, 16, 18, 20, 24, 28, 32, 36, 42, 48, 56, 72, 84};
  49.    private final String ADD = "Add to Favourites";
  50.    private final String REM = "Remove from Favourites";
  51.    private ListPanel currentPanel;
  52.    private String fname;
  53.    private String floc;
  54.    private boolean typingLoc;
  55.    private int rows = 10;
  56.    private int columns = 1;
  57.    private JMenuItem aboutMenuItem;
  58.    private JMenuItem addOrRemMenuItem;
  59.    private JMenuItem addToFavHelpMenuItem;
  60.    private JMenuItem downMenuItem;
  61.    private JPanel favouriteFontsPanel;
  62.    private JMenu fileMenu;
  63.    private JSeparator fileSep0;
  64.    private JMenu helpMenu;
  65.    private JSeparator helpSep0;
  66.    private JMenu hiddenMenu;
  67.    private JMenuItem installFontsMenuItem;
  68.    private JCheckBoxMenuItem listViewCheckBoxMenuItem;
  69.    private JPanel listViewPanel;
  70.    private JSplitPane mainSplitPane;
  71.    private JMenuBar menuBar;
  72.    private JMenuItem nextPageMenuItem;
  73.    private JPanel otherFontsPanel;
  74.    private JMenuItem prevPageMenuItem;
  75.    private JSplitPane quickViewSplitPane;
  76.    private JMenuItem quitMenuItem;
  77.    private JPanel sampleTextPanel;
  78.    private JMenuItem savFavsMenuItem;
  79.    private JMenuItem setSampleTextMenuItem;
  80.    private JMenuItem shortcutsMenuItem;
  81.    private JPanel systemFontsPanel;
  82.    private JTabbedPane tabbedPane;
  83.    private JMenuItem upMenuItem;
  84.    private JMenu viewsMenu;
  85.  
  86.    public MainWindow() {
  87.       try {
  88.          PlasticXPLookAndFeel laf = new PlasticXPLookAndFeel();
  89.          PlasticXPLookAndFeel.setMyCurrentTheme(new SkyBlue());
  90.          UIManager.setLookAndFeel(laf);
  91.          this.initComponents();
  92.          this.tabbedPane.putClientProperty("jgoodies.noContentBorder", Boolean.TRUE);
  93.          this.menuBar.putClientProperty("jgoodies.headerStyle", HeaderStyle.BOTH);
  94.          this.menuBar.putClientProperty("Plastic.borderStyle", BorderStyle.SEPARATOR);
  95.          this.menuBar.requestFocus();
  96.       } catch (Exception var2) {
  97.          new JOptionPane();
  98.          JOptionPane.showMessageDialog(this, "Cannot load JGoodies look and feel.", "Error!", 0);
  99.          this.initComponents();
  100.       }
  101.  
  102.       this.typingLoc = false;
  103.       this.hiddenMenu.setVisible(false);
  104.       this.hiddenMenu.setEnabled(false);
  105.       this.currentPanel = (ListPanel)this.systemFontsPanel;
  106.       ((ListViewPanel)this.listViewPanel).setView(this.systemFontsPanel);
  107.       this.setLocation((Toolkit.getDefaultToolkit().getScreenSize().width - this.getSize().width) / 2, (Toolkit.getDefaultToolkit().getScreenSize().height - this.getSize().height) / 2);
  108.    }
  109.  
  110.    public void addToFav() {
  111.       this.addToFav(this.fname, this.floc);
  112.    }
  113.  
  114.    public void removeFromFav() {
  115.       this.removeFromFav(this.fname, this.floc);
  116.    }
  117.  
  118.    public void addToFav(String name, String loc) {
  119.       if (!((FavouriteFontsPanel)this.favouriteFontsPanel).addToFav(name, loc)) {
  120.          new JOptionPane();
  121.          JOptionPane.showMessageDialog(this, "Font already in favourites.", "Error!", 0);
  122.       } else {
  123.          this.updateDisplay();
  124.       }
  125.  
  126.    }
  127.  
  128.    public void removeFromFav(String name, String loc) {
  129.       if (!((FavouriteFontsPanel)this.favouriteFontsPanel).removeFromFav(name, loc)) {
  130.          new JOptionPane();
  131.          JOptionPane.showMessageDialog(this, "Font not found in favourites.", "Error!", 0);
  132.       }
  133.  
  134.    }
  135.  
  136.    public void setCurrentFont(String name, String loc, int position) {
  137.       this.fname = name;
  138.       this.floc = loc;
  139.       ((ListViewPanel)this.listViewPanel).setPosition(position);
  140.       ((SampleTextPanel)this.sampleTextPanel).setCurrentFont(name, loc);
  141.    }
  142.  
  143.    public void setFontSize(int s) {
  144.       if (this.listViewPanel != null) {
  145.          ((ListViewPanel)this.listViewPanel).setFontSize(s);
  146.       }
  147.  
  148.    }
  149.  
  150.    public void updateDisplay() {
  151.       ((ListViewPanel)this.listViewPanel).updateDisplay();
  152.    }
  153.  
  154.    public void setTyping(boolean t) {
  155.       this.typingLoc = t;
  156.       if (!t) {
  157.          this.menuBar.requestFocus();
  158.       }
  159.  
  160.    }
  161.  
  162.    private void saveFavToFile(File f) {
  163.       try {
  164.          FavouriteFontsPanel fav = (FavouriteFontsPanel)this.favouriteFontsPanel;
  165.          BufferedWriter bw = new BufferedWriter(new FileWriter(f));
  166.          String[] s = new String[3];
  167.          fav.sortAllRowsBy(0, true);
  168.  
  169.          for(int i = 0; i < fav.getNumItems(); ++i) {
  170.             s = fav.getItem(i);
  171.             bw.write(s[1] + File.separator + s[0]);
  172.             bw.newLine();
  173.          }
  174.  
  175.          bw.close();
  176.       } catch (IOException var6) {
  177.          new JOptionPane();
  178.          JOptionPane.showMessageDialog(this, "Cannot write to file.", "Error!", 0);
  179.       }
  180.  
  181.    }
  182.  
  183.    private void initComponents() {
  184.       this.mainSplitPane = new JSplitPane();
  185.       this.quickViewSplitPane = new JSplitPane();
  186.       this.tabbedPane = new JTabbedPane();
  187.       this.systemFontsPanel = new SystemFontsPanel(this);
  188.       this.otherFontsPanel = new OtherFontsPanel(this);
  189.       this.favouriteFontsPanel = new FavouriteFontsPanel(this);
  190.       this.sampleTextPanel = new SampleTextPanel(this, this.FONT_SIZES);
  191.       this.listViewPanel = new ListViewPanel(this, this.favouriteFontsPanel, this.rows, this.columns);
  192.       this.menuBar = new JMenuBar();
  193.       this.fileMenu = new JMenu();
  194.       this.savFavsMenuItem = new JMenuItem();
  195.       this.setSampleTextMenuItem = new JMenuItem();
  196.       this.fileSep0 = new JSeparator();
  197.       this.quitMenuItem = new JMenuItem();
  198.       this.viewsMenu = new JMenu();
  199.       this.listViewCheckBoxMenuItem = new JCheckBoxMenuItem();
  200.       this.helpMenu = new JMenu();
  201.       this.addToFavHelpMenuItem = new JMenuItem();
  202.       this.installFontsMenuItem = new JMenuItem();
  203.       this.shortcutsMenuItem = new JMenuItem();
  204.       this.helpSep0 = new JSeparator();
  205.       this.aboutMenuItem = new JMenuItem();
  206.       this.hiddenMenu = new JMenu();
  207.       this.prevPageMenuItem = new JMenuItem();
  208.       this.nextPageMenuItem = new JMenuItem();
  209.       this.upMenuItem = new JMenuItem();
  210.       this.downMenuItem = new JMenuItem();
  211.       this.addOrRemMenuItem = new JMenuItem();
  212.       this.getContentPane().setLayout(new BorderLayout(0, 5));
  213.       this.setTitle("Opcion Font Viewer");
  214.       this.setFont(new Font("Dialog", 0, 10));
  215.       this.setIconImage((new MyImageIcon("IconSmall.png")).getImage());
  216.       this.addComponentListener(new 1(this));
  217.       this.addWindowListener(new 2(this));
  218.       this.mainSplitPane.setBorder((Border)null);
  219.       this.mainSplitPane.setDividerSize(5);
  220.       this.mainSplitPane.setResizeWeight((double)0.5F);
  221.       this.quickViewSplitPane.setBorder((Border)null);
  222.       this.quickViewSplitPane.setDividerSize(5);
  223.       this.quickViewSplitPane.setOrientation(0);
  224.       this.quickViewSplitPane.setResizeWeight((double)0.5F);
  225.       this.tabbedPane.setPreferredSize(new Dimension(320, 240));
  226.       this.tabbedPane.addMouseListener(new 3(this));
  227.       this.tabbedPane.addTab("System Fonts", this.systemFontsPanel);
  228.       this.tabbedPane.addTab("Other Fonts", this.otherFontsPanel);
  229.       this.tabbedPane.addTab("Favourite Fonts", this.favouriteFontsPanel);
  230.       this.quickViewSplitPane.setLeftComponent(this.tabbedPane);
  231.       this.sampleTextPanel.setPreferredSize(new Dimension(320, 240));
  232.       this.quickViewSplitPane.setRightComponent(this.sampleTextPanel);
  233.       this.mainSplitPane.setLeftComponent(this.quickViewSplitPane);
  234.       this.listViewPanel.setPreferredSize(new Dimension(320, 480));
  235.       this.mainSplitPane.setRightComponent(this.listViewPanel);
  236.       this.getContentPane().add(this.mainSplitPane, "Center");
  237.       this.fileMenu.setMnemonic('f');
  238.       this.fileMenu.setText("File");
  239.       this.savFavsMenuItem.setMnemonic('s');
  240.       this.savFavsMenuItem.setText("Save Favourites");
  241.       this.savFavsMenuItem.addActionListener(new 4(this));
  242.       this.fileMenu.add(this.savFavsMenuItem);
  243.       this.setSampleTextMenuItem.setMnemonic('t');
  244.       this.setSampleTextMenuItem.setText("Set Sample Text");
  245.       this.setSampleTextMenuItem.addActionListener(new 5(this));
  246.       this.fileMenu.add(this.setSampleTextMenuItem);
  247.       this.fileMenu.add(this.fileSep0);
  248.       this.quitMenuItem.setAccelerator(KeyStroke.getKeyStroke(115, 8));
  249.       this.quitMenuItem.setMnemonic('q');
  250.       this.quitMenuItem.setText("Quit");
  251.       this.quitMenuItem.addActionListener(new 6(this));
  252.       this.fileMenu.add(this.quitMenuItem);
  253.       this.menuBar.add(this.fileMenu);
  254.       this.viewsMenu.setMnemonic('v');
  255.       this.viewsMenu.setText("Views");
  256.       this.listViewCheckBoxMenuItem.setMnemonic('l');
  257.       this.listViewCheckBoxMenuItem.setSelected(true);
  258.       this.listViewCheckBoxMenuItem.setText("List View");
  259.       this.listViewCheckBoxMenuItem.addActionListener(new 7(this));
  260.       this.viewsMenu.add(this.listViewCheckBoxMenuItem);
  261.       this.menuBar.add(this.viewsMenu);
  262.       this.helpMenu.setMnemonic('h');
  263.       this.helpMenu.setText("Help");
  264.       this.addToFavHelpMenuItem.setMnemonic('f');
  265.       this.addToFavHelpMenuItem.setText("Add Font to Favourites");
  266.       this.addToFavHelpMenuItem.addActionListener(new 8(this));
  267.       this.helpMenu.add(this.addToFavHelpMenuItem);
  268.       this.installFontsMenuItem.setMnemonic('i');
  269.       this.installFontsMenuItem.setText("Installing Fonts");
  270.       this.installFontsMenuItem.addActionListener(new 9(this));
  271.       this.helpMenu.add(this.installFontsMenuItem);
  272.       this.shortcutsMenuItem.setMnemonic('s');
  273.       this.shortcutsMenuItem.setText("Shortcut Keys");
  274.       this.shortcutsMenuItem.addActionListener(new 10(this));
  275.       this.helpMenu.add(this.shortcutsMenuItem);
  276.       this.helpMenu.add(this.helpSep0);
  277.       this.aboutMenuItem.setMnemonic('a');
  278.       this.aboutMenuItem.setText("About");
  279.       this.aboutMenuItem.addActionListener(new 11(this));
  280.       this.helpMenu.add(this.aboutMenuItem);
  281.       this.menuBar.add(this.helpMenu);
  282.       this.hiddenMenu.setText("hidden");
  283.       this.prevPageMenuItem.setAccelerator(KeyStroke.getKeyStroke(44, 0));
  284.       this.prevPageMenuItem.setText("prevPage");
  285.       this.prevPageMenuItem.addActionListener(new 12(this));
  286.       this.hiddenMenu.add(this.prevPageMenuItem);
  287.       this.nextPageMenuItem.setAccelerator(KeyStroke.getKeyStroke(46, 0));
  288.       this.nextPageMenuItem.setText("nextPage");
  289.       this.nextPageMenuItem.addActionListener(new 13(this));
  290.       this.hiddenMenu.add(this.nextPageMenuItem);
  291.       this.upMenuItem.setAccelerator(KeyStroke.getKeyStroke(75, 0));
  292.       this.upMenuItem.setText("up");
  293.       this.upMenuItem.addActionListener(new 14(this));
  294.       this.hiddenMenu.add(this.upMenuItem);
  295.       this.downMenuItem.setAccelerator(KeyStroke.getKeyStroke(77, 0));
  296.       this.downMenuItem.setText("down");
  297.       this.downMenuItem.addActionListener(new 15(this));
  298.       this.hiddenMenu.add(this.downMenuItem);
  299.       this.addOrRemMenuItem.setAccelerator(KeyStroke.getKeyStroke(32, 0));
  300.       this.addOrRemMenuItem.setText("addOrRem");
  301.       this.addOrRemMenuItem.addActionListener(new 16(this));
  302.       this.hiddenMenu.add(this.addOrRemMenuItem);
  303.       this.menuBar.add(this.hiddenMenu);
  304.       this.setJMenuBar(this.menuBar);
  305.       this.pack();
  306.    }
  307.  
  308.    private void addToFavHelpMenuItemActionPerformed(ActionEvent evt) {
  309.       TextAreaFromFileDialog taffd = new TextAreaFromFileDialog(this, "Help - Add Font to Favourites", "addfavHelp.txt");
  310.       taffd.setWrap(true);
  311.       int x = 350;
  312.       int y = 180;
  313.       taffd.setBounds((Toolkit.getDefaultToolkit().getScreenSize().width - x) / 2, (Toolkit.getDefaultToolkit().getScreenSize().height - y) / 2, x, y);
  314.       taffd.show();
  315.    }
  316.  
  317.    private void savFavsMenuItemActionPerformed(ActionEvent evt) {
  318.       if (((ListPanel)this.favouriteFontsPanel).getNumItems() <= 0) {
  319.          new JOptionPane();
  320.          JOptionPane.showMessageDialog(this, "There are no favourite fonts to save.", "Error!", 0);
  321.       } else {
  322.          JFileChooser fc = new JFileChooser(new File(""));
  323.          fc.showSaveDialog(this);
  324.          if (fc.getSelectedFile() != null) {
  325.             File f = fc.getSelectedFile();
  326.             if (f.exists()) {
  327.                new JOptionPane();
  328.                if (JOptionPane.showConfirmDialog(this, "The file " + f.getName() + " already exists, do you\nwant to overwrite?", "Warning!", 0, 2) == 0) {
  329.                   this.saveFavToFile(f);
  330.                }
  331.             } else {
  332.                this.saveFavToFile(f);
  333.             }
  334.          }
  335.       }
  336.  
  337.    }
  338.  
  339.    private void shortcutsMenuItemActionPerformed(ActionEvent evt) {
  340.       TextAreaFromFileDialog taffd = new TextAreaFromFileDialog(this, "Help - Shortcut Keys", "shortcutsHelp.txt");
  341.       taffd.setWrap(false);
  342.       int x = 350;
  343.       int y = 300;
  344.       taffd.setBounds((Toolkit.getDefaultToolkit().getScreenSize().width - x) / 2, (Toolkit.getDefaultToolkit().getScreenSize().height - y) / 2, x, y);
  345.       taffd.show();
  346.    }
  347.  
  348.    private void addOrRemMenuItemActionPerformed(ActionEvent evt) {
  349.       if (!this.typingLoc) {
  350.          this.menuBar.requestFocus();
  351.          if (this.currentPanel instanceof FavouriteFontsPanel) {
  352.             this.removeFromFav();
  353.          } else if (!((FavouriteFontsPanel)this.favouriteFontsPanel).addToFav(this.fname, this.floc)) {
  354.             this.removeFromFav();
  355.          } else {
  356.             this.updateDisplay();
  357.          }
  358.       }
  359.  
  360.    }
  361.  
  362.    private void downMenuItemActionPerformed(ActionEvent evt) {
  363.       if (!this.typingLoc) {
  364.          this.menuBar.requestFocus();
  365.          this.currentPanel.selectNext();
  366.       }
  367.  
  368.    }
  369.  
  370.    private void nextPageMenuItemActionPerformed(ActionEvent evt) {
  371.       if (!this.typingLoc) {
  372.          this.menuBar.requestFocus();
  373.          ((ListViewPanel)this.listViewPanel).nextPage();
  374.       }
  375.  
  376.    }
  377.  
  378.    private void prevPageMenuItemActionPerformed(ActionEvent evt) {
  379.       if (!this.typingLoc) {
  380.          this.menuBar.requestFocus();
  381.          ((ListViewPanel)this.listViewPanel).prevPage();
  382.       }
  383.  
  384.    }
  385.  
  386.    private void upMenuItemActionPerformed(ActionEvent evt) {
  387.       if (!this.typingLoc) {
  388.          this.menuBar.requestFocus();
  389.          this.currentPanel.selectPrev();
  390.       }
  391.  
  392.    }
  393.  
  394.    private void setSampleTextMenuItemActionPerformed(ActionEvent evt) {
  395.       new JOptionPane();
  396.       String t = JOptionPane.showInputDialog(this, "Set sample text as:", "Change Sample Text", 3);
  397.       if (t != null) {
  398.          ((SampleTextPanel)this.sampleTextPanel).setSampleText(t);
  399.          ((ListViewPanel)this.listViewPanel).setSampleText(t);
  400.       }
  401.  
  402.    }
  403.  
  404.    private void formComponentResized(ComponentEvent evt) {
  405.    }
  406.  
  407.    private void listViewCheckBoxMenuItemActionPerformed(ActionEvent evt) {
  408.       if (this.listViewCheckBoxMenuItem.isSelected()) {
  409.          this.listViewPanel.setVisible(true);
  410.          this.mainSplitPane.setDividerLocation(this.mainSplitPane.getLastDividerLocation());
  411.          this.mainSplitPane.setEnabled(true);
  412.       } else {
  413.          this.mainSplitPane.setDividerLocation((double)1.0F);
  414.          this.mainSplitPane.setEnabled(false);
  415.          this.listViewPanel.setVisible(false);
  416.       }
  417.  
  418.    }
  419.  
  420.    private void tabbedPaneMouseClicked(MouseEvent evt) {
  421.       this.currentPanel = (ListPanel)this.tabbedPane.getSelectedComponent();
  422.       ((ListViewPanel)this.listViewPanel).setView((JPanel)this.currentPanel);
  423.       String[] s = this.currentPanel.getCurrentItem();
  424.       if (s[0] != null) {
  425.          this.setCurrentFont(s[0], s[1], Integer.parseInt(s[2]));
  426.       }
  427.  
  428.       if (this.currentPanel instanceof FavouriteFontsPanel) {
  429.          ((SampleTextPanel)this.sampleTextPanel).setFavButtonAction("Remove from Favourites");
  430.       } else {
  431.          ((SampleTextPanel)this.sampleTextPanel).setFavButtonAction("Add to Favourites");
  432.       }
  433.  
  434.    }
  435.  
  436.    private void installFontsMenuItemActionPerformed(ActionEvent evt) {
  437.       TextAreaFromFileDialog taffd = new TextAreaFromFileDialog(this, "Help - Installing Fonts", "installHelp.txt");
  438.       taffd.setWrap(false);
  439.       Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
  440.       taffd.setBounds((screenSize.width - 480) / 2, (screenSize.height - 295) / 2, 480, 295);
  441.       taffd.show();
  442.    }
  443.  
  444.    private void aboutMenuItemActionPerformed(ActionEvent evt) {
  445.       (new AboutDialog(this)).show();
  446.    }
  447.  
  448.    private void quitMenuItemActionPerformed(ActionEvent evt) {
  449.       System.exit(0);
  450.    }
  451.  
  452.    private void formWindowActivated(WindowEvent evt) {
  453.    }
  454.  
  455.    private void exitForm(WindowEvent evt) {
  456.       System.exit(0);
  457.    }
  458.  
  459.    // $FF: synthetic method
  460.    static void access$000(MainWindow x0, ComponentEvent x1) {
  461.       x0.formComponentResized(x1);
  462.    }
  463.  
  464.    // $FF: synthetic method
  465.    static void access$100(MainWindow x0, WindowEvent x1) {
  466.       x0.formWindowActivated(x1);
  467.    }
  468.  
  469.    // $FF: synthetic method
  470.    static void access$200(MainWindow x0, WindowEvent x1) {
  471.       x0.exitForm(x1);
  472.    }
  473.  
  474.    // $FF: synthetic method
  475.    static void access$300(MainWindow x0, MouseEvent x1) {
  476.       x0.tabbedPaneMouseClicked(x1);
  477.    }
  478.  
  479.    // $FF: synthetic method
  480.    static void access$400(MainWindow x0, ActionEvent x1) {
  481.       x0.savFavsMenuItemActionPerformed(x1);
  482.    }
  483.  
  484.    // $FF: synthetic method
  485.    static void access$500(MainWindow x0, ActionEvent x1) {
  486.       x0.setSampleTextMenuItemActionPerformed(x1);
  487.    }
  488.  
  489.    // $FF: synthetic method
  490.    static void access$600(MainWindow x0, ActionEvent x1) {
  491.       x0.quitMenuItemActionPerformed(x1);
  492.    }
  493.  
  494.    // $FF: synthetic method
  495.    static void access$700(MainWindow x0, ActionEvent x1) {
  496.       x0.listViewCheckBoxMenuItemActionPerformed(x1);
  497.    }
  498.  
  499.    // $FF: synthetic method
  500.    static void access$800(MainWindow x0, ActionEvent x1) {
  501.       x0.addToFavHelpMenuItemActionPerformed(x1);
  502.    }
  503.  
  504.    // $FF: synthetic method
  505.    static void access$900(MainWindow x0, ActionEvent x1) {
  506.       x0.installFontsMenuItemActionPerformed(x1);
  507.    }
  508.  
  509.    // $FF: synthetic method
  510.    static void access$1000(MainWindow x0, ActionEvent x1) {
  511.       x0.shortcutsMenuItemActionPerformed(x1);
  512.    }
  513.  
  514.    // $FF: synthetic method
  515.    static void access$1100(MainWindow x0, ActionEvent x1) {
  516.       x0.aboutMenuItemActionPerformed(x1);
  517.    }
  518.  
  519.    // $FF: synthetic method
  520.    static void access$1200(MainWindow x0, ActionEvent x1) {
  521.       x0.prevPageMenuItemActionPerformed(x1);
  522.    }
  523.  
  524.    // $FF: synthetic method
  525.    static void access$1300(MainWindow x0, ActionEvent x1) {
  526.       x0.nextPageMenuItemActionPerformed(x1);
  527.    }
  528.  
  529.    // $FF: synthetic method
  530.    static void access$1400(MainWindow x0, ActionEvent x1) {
  531.       x0.upMenuItemActionPerformed(x1);
  532.    }
  533.  
  534.    // $FF: synthetic method
  535.    static void access$1500(MainWindow x0, ActionEvent x1) {
  536.       x0.downMenuItemActionPerformed(x1);
  537.    }
  538.  
  539.    // $FF: synthetic method
  540.    static void access$1600(MainWindow x0, ActionEvent x1) {
  541.       x0.addOrRemMenuItemActionPerformed(x1);
  542.    }
  543. }
  544.