Java ExtensionPoint.resetの例

コード例 #1

ファイル: ExtensionsAreaImpl.java プロジェクト: Rokko11/idea-community

 public void unregisterExtensionPoint(final String extensionPointName) {
   ExtensionPoint extensionPoint = myExtensionPoints.get(extensionPointName);
   if (extensionPoint != null) {
     extensionPoint.reset();
     myExtensionPoints.remove(extensionPointName);
     notifyEPRemoved(extensionPoint);
   }
 }