diff options
author | Alex Ruiz <alruiz@google.com> | 2013-07-18 06:26:42 -0700 |
---|---|---|
committer | Alex Ruiz <alruiz@google.com> | 2013-07-18 06:26:42 -0700 |
commit | a1a75d2398fea29c0c30090bf173805a280472d2 (patch) | |
tree | efd10313174ac763230d95c9c68e4f4201e42fac /resources | |
parent | c9c8d79547ff2d99190755dd076cec33e59261ef (diff) | |
download | idea-a1a75d2398fea29c0c30090bf173805a280472d2.tar.gz |
IDEA-110710 Compiler: Provide extension point for managing available settings
Taken from https://github.com/JetBrains/intellij-community/commit/07675ac57bd4eb06b7e1baed6c8c3e39635e5dc1
Change-Id: Ifd81590d62ed5592892cf5d8e67af737b7d95b8e
Diffstat (limited to 'resources')
-rw-r--r-- | resources/src/idea/RichPlatformPlugin.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/resources/src/idea/RichPlatformPlugin.xml b/resources/src/idea/RichPlatformPlugin.xml index dcb2acda4d18..ae7939eac344 100644 --- a/resources/src/idea/RichPlatformPlugin.xml +++ b/resources/src/idea/RichPlatformPlugin.xml @@ -50,6 +50,9 @@ <extensionPoint name="compiler.makeDependencyProcessor" interface="com.intellij.compiler.DependencyProcessor"/> + <extensionPoint name="compiler.optionsManager" + interface="com.intellij.compiler.options.CompilerOptionsManager"/> + <extensionPoint name="compiler.resourceCompilerExtension" interface="com.intellij.compiler.impl.resourceCompiler.ResourceCompilerExtension"/> |