--- 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)