MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Added isCaseSensitive().

Browse Source
This commit is contained in:
Dmitry Cheryasov
2010-06-16 20:07:41 +03:00
parent 844ae79c1c
commit f0fa973dd3
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/src/com/jetbrains/python/PythonLanguage.java
+5
View File
@@ -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);