From f0fa973dd3601573eca70c4577901f21d24cc17e Mon Sep 17 00:00:00 2001
From: Dmitry Cheryasov <dmitry.cheryasov@jetbrains.com>
Date: Wed, 16 Jun 2010 20:07:41 +0300
Subject: [PATCH] Added isCaseSensitive().

---
 python/src/com/jetbrains/python/PythonLanguage.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/python/src/com/jetbrains/python/PythonLanguage.java b/python/src/com/jetbrains/python/PythonLanguage.java
index eb4582de71fd..d8b9d3dc8bda 100644
--- a/python/src/com/jetbrains/python/PythonLanguage.java
+++ b/python/src/com/jetbrains/python/PythonLanguage.java
@@ -19,6 +19,11 @@ public class PythonLanguage extends Language {
     return (PythonLanguage) PythonFileType.INSTANCE.getLanguage();
   }
 
+  @Override
+  public boolean isCaseSensitive() {
+    return true; // http://jetbrains-feed.appspot.com/message/372001
+  }
+
   {
     _annotators.add(AssignTargetAnnotator.class);
     _annotators.add(ParameterListAnnotator.class);