--- a/src/eric7/PdfViewer/PdfToCWidget.py Mon Jan 16 11:56:23 2023 +0100 +++ b/src/eric7/PdfViewer/PdfToCWidget.py Wed Jan 18 14:31:55 2023 +0100 @@ -99,12 +99,18 @@ self.__tocModel.setDocument(document) self.__tocFilterModel = QSortFilterProxyModel(self) self.__tocFilterModel.setRecursiveFilteringEnabled(True) + self.__tocFilterModel.setFilterCaseSensitivity( + Qt.CaseSensitivity.CaseInsensitive + ) self.__tocFilterModel.setSourceModel(self.__tocModel) self.__tocWidget.setModel(self.__tocFilterModel) self.__layout.addWidget(self.__tocWidget) self.setLayout(self.__layout) + self.__searchEdit.setEnabled(False) + self.__tocWidget.setEnabled(False) + self.__tocWidget.activated.connect(self.__topicSelected) document.statusChanged.connect(self.__handleDocumentStatus) self.__searchEdit.textEdited.connect(self.__searchTextChanged) @@ -133,11 +139,15 @@ @param status document status @type QPdfDocument.Status """ - if status == QPdfDocument.Status.Ready: + ready = status == QPdfDocument.Status.Ready + if ready: self.__tocWidget.expandAll() for column in range(self.__tocModel.columnCount(QModelIndex())): self.__tocWidget.resizeColumnToContents(column) + self.__searchEdit.setEnabled(ready) + self.__tocWidget.setEnabled(ready) + @pyqtSlot(str) def __searchTextChanged(self, text): """