ProjectPrefsExtraPanel.java

package jetbrains.mps.workbench.dialogs.project.properties.project;

/*Generated by MPS */

import com.intellij.openapi.extensions.ExtensionPointName;
import javax.swing.JComponent;

public interface ProjectPrefsExtraPanel {
  ExtensionPointName<ProjectPrefsExtraPanel> EP_NAME = ExtensionPointName.create("com.intellij.mps.projectPrefsPanel");
  JComponent getComponent();
  boolean isModified();
  void apply();
  void reset();
}