/*
 * ExtensionListEntry.java
 *
 * Copyright 2013 John W Dawson
 *
 * This code is distributed under the terms of the GNU General Public License, version 3
 *
 * This class represents an entry in the list of providers as a tool bar
 */

import java.util.*;
public class ExtensionListEntry extends ConfigurationListEntry
{

  private ExtensionSelector extensionSelector;

  public ExtensionListEntry (ConfigurationRecord extension, ExtensionListForm extensionList, 
                             ExtensionSelector extensionSelector)
  {
    super ("extension", extension, extensionList);
    this.extensionSelector = extensionSelector;
        
  }
    
  protected void deleteActions ()
  {
    // Remove this extensions from selector
    extensionSelector.remove (record);
      
  }
  
}