Class JumpToPanel

All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible

public class JumpToPanel extends JPanel
A Jump To panel for use in the menu bar in the main frame.
Author:
Marc Vaudel, Harald Barsnes
See Also:
  • Constructor Details

    • JumpToPanel

      public JumpToPanel(PeptideShakerGUI peptideShakerGUI)
      Creates a new JumpToPanel.
      Parameters:
      peptideShakerGUI - the parent
  • Method Details

    • selectTextField

      public void selectTextField()
      Move the focus to the Jump To text field and select all the content.
    • setColor

      public void setColor(Color color)
      Set the color for the hits.
      Parameters:
      color - the color
    • updateSelectionInTab

      public void updateSelectionInTab()
      Updates the item selection in the selected tab.
    • getPossibilitiesDescriptions

      public String[] getPossibilitiesDescriptions()
      Returns a list of descriptions corresponding to every item matching the search.
      Returns:
      a list of descriptions
    • getIndexOfSelectedItem

      public int getIndexOfSelectedItem()
      Returns the index of the selected item.
      Returns:
      the index of the selected item
    • setSelectedItem

      public void setSelectedItem(int itemIndex)
      Sets the index of the selected item. Note: this does not update the selection in tab and the GUI (see updateSelectionInTab()).
      Parameters:
      itemIndex - the item index
    • setEnabled

      public void setEnabled(boolean enabled)
      Overrides:
      setEnabled in class JComponent
    • setType

      public void setType(JumpToPanel.JumpType jumpType)
      Changes the type of jumpToPanel.
      Parameters:
      jumpType - the new type of jump to panel
    • setSpectrumFile

      public void setSpectrumFile(String spectrumFile)
      Sets the spectrum file inspected.
      Parameters:
      spectrumFile - the name of the spectrum file inspected