236237238239240241242243244
public JMenuItem getDownItem(){ if (menuDown == null){ menuDown = new JMenuItem("Down", Messages.getImageIcon("Paraphrasing.Down")); menuDown.addActionListener(new ButtonListener(this)); } return menuDown; }
244245246247248249250251252
} public JMenuItem getPropertiesItem(){ if (menuProperties == null){ menuProperties = new JMenuItem("Properties", Messages.getImageIcon("Popup.Properties")); menuProperties.addActionListener(new ButtonListener(this)); } return menuProperties; }