From: amwaterhouse Date: Wed, 17 Aug 2005 13:02:32 +0000 (+0000) Subject: Remove user colour menu item X-Git-Tag: Release_2_03~22 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=7c612cf2073df1d290399042a7ecec55adc0e7e7;p=jalview.git Remove user colour menu item --- diff --git a/src/jalview/jbgui/GAlignFrame.java b/src/jalview/jbgui/GAlignFrame.java index 345bcf5..7d09f1b 100755 --- a/src/jalview/jbgui/GAlignFrame.java +++ b/src/jalview/jbgui/GAlignFrame.java @@ -154,9 +154,37 @@ public class GAlignFrame while (userColours.hasMoreElements()) { - JRadioButtonMenuItem radioItem = new JRadioButtonMenuItem(userColours. + final JRadioButtonMenuItem radioItem = new JRadioButtonMenuItem(userColours. nextElement().toString()); radioItem.setName("USER_DEFINED"); + radioItem.addMouseListener(new MouseAdapter() + { + public void mousePressed(MouseEvent evt) + { + if(evt.isControlDown() || SwingUtilities.isRightMouseButton(evt)) + { + radioItem.removeActionListener(radioItem.getActionListeners()[0]); + + int option = JOptionPane.showInternalConfirmDialog(jalview.gui.Desktop.desktop, + "Remove from default list?", + "Remove user defined colour", + JOptionPane.YES_NO_OPTION); + if(option == JOptionPane.YES_OPTION) + { + jalview.gui.UserDefinedColours.removeColourFromDefaults(radioItem.getText()); + colourMenu.remove(radioItem); + } + else + radioItem.addActionListener(new ActionListener() + { + public void actionPerformed(ActionEvent evt) + { + userDefinedColour_actionPerformed(evt); + } + }); + } + } + }); radioItem.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent evt)