From 7546967f078b7e2e5474fd99fd94fb1ec213a669 Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Thu, 10 Dec 2009 17:47:07 +0300 Subject: [PATCH] APIs for django --- .../python/module/PythonModuleBuilder.java | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/python/pluginSrc/com/jetbrains/python/module/PythonModuleBuilder.java b/python/pluginSrc/com/jetbrains/python/module/PythonModuleBuilder.java index 983e4bd91378..66bf53ab7bf0 100644 --- a/python/pluginSrc/com/jetbrains/python/module/PythonModuleBuilder.java +++ b/python/pluginSrc/com/jetbrains/python/module/PythonModuleBuilder.java @@ -21,6 +21,7 @@ public class PythonModuleBuilder extends ModuleBuilder implements SourcePathsBui private List> mySourcePaths; private String myContentRootPath; private Sdk mySdk; + private List mySdkChangedListeners = new ArrayList(); public void setupRootModel(final ModifiableRootModel rootModel) throws ConfigurationException { if (mySdk != null) { @@ -66,7 +67,20 @@ public class PythonModuleBuilder extends ModuleBuilder implements SourcePathsBui mySourcePaths.add(sourcePathInfo); } + public Sdk getSdk() { + return mySdk; + } + public void setSdk(final Sdk sdk) { - mySdk = sdk; + if (mySdk != sdk) { + mySdk = sdk; + for (Runnable runnable : mySdkChangedListeners) { + runnable.run(); + } + } + } + + public void addSdkChangedListener(Runnable runnable) { + mySdkChangedListeners.add(runnable); } }