--- a/src/eric7/Preferences/__init__.py Wed Jan 18 16:38:29 2023 +0100 +++ b/src/eric7/Preferences/__init__.py Fri Jan 20 15:05:59 2023 +0100 @@ -1642,6 +1642,7 @@ "PdfViewerZoomFactor": 1.0, "PdfViewerOpenRecentInNewWindow": False, "PdfSearchContextLength": 30, + "PdfSearchHighlightAll": True, } @@ -3864,7 +3865,11 @@ return int( Prefs.settings.value("PdfViewer/" + key, Prefs.pdfViewerDefaults[key]) ) - elif key in ("PdfViewerSidebarVisible", "PdfViewerOpenRecentInNewWindow"): + elif key in ( + "PdfViewerSidebarVisible", + "PdfViewerOpenRecentInNewWindow", + "PdfSearchHighlightAll", + ): return toBool( Prefs.settings.value("PdfViewer/" + key, Prefs.pdfViewerDefaults[key]) ) @@ -3874,9 +3879,7 @@ ) elif key == "PdfViewerZoomMode": return QPdfView.ZoomMode( - int( - Prefs.settings.value("PdfViewer/" + key, Prefs.pdfViewerDefaults[key]) - ) + int(Prefs.settings.value("PdfViewer/" + key, Prefs.pdfViewerDefaults[key])) ) else: return Prefs.settings.value("PdfViewer/" + key, Prefs.pdfViewerDefaults[key])