src/eric7/Preferences/__init__.py

branch
pdf_viewer
changeset 9707
717f95e35ca8
parent 9704
6e1650b9b3b5
child 9776
210bf87ae5c7
diff -r c0ff0b4d5657 -r 717f95e35ca8 src/eric7/Preferences/__init__.py
--- 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])

eric ide

mercurial