src/eric7/EricWidgets/EricCompleters.py

branch
eric7
changeset 10217
7888177e7463
parent 9653
e67609152c5e
child 10423
299802979277
--- a/src/eric7/EricWidgets/EricCompleters.py	Thu Sep 28 14:02:15 2023 +0200
+++ b/src/eric7/EricWidgets/EricCompleters.py	Wed Oct 04 17:50:59 2023 +0200
@@ -58,6 +58,8 @@
         self.setCompletionMode(completionMode)
         if OSUtilities.isWindowsPlatform():
             self.setCaseSensitivity(Qt.CaseSensitivity.CaseInsensitive)
+        else:
+            self.setCaseSensitivity(Qt.CaseSensitivity.CaseSensitive)
         if parent:
             parent.setCompleter(self)
 
@@ -115,6 +117,8 @@
         self.setCompletionMode(completionMode)
         if OSUtilities.isWindowsPlatform():
             self.setCaseSensitivity(Qt.CaseSensitivity.CaseInsensitive)
+        else:
+            self.setCaseSensitivity(Qt.CaseSensitivity.CaseSensitive)
         if parent:
             parent.setCompleter(self)
 

eric ide

mercurial