[atril] 03/04: Revert "debian/patches: Add 0003_fix-case-sensitive-search-pdf.patch Fix case sensitive searching for PDF (Closes: #798533)."

[Mike Gabriel]

This is an automated email from the git hooks/post-receive script.

sunweaver pushed a commit to branch debian/jessie/updates
in repository atril.

commit f52b67ee1de6e1e585445e758257a044f82eaaae
Author: Mike Gabriel <mike.gabriel at das-netzwerkteam.de>
Date:   Mon Jul 24 10:17:37 2017 +0200

    Revert "debian/patches: Add 0003_fix-case-sensitive-search-pdf.patch Fix case sensitive searching for PDF (Closes: #798533)."
    
    This reverts commit 72b585dc4ce669003bcc715a000aeded3a447c1e.
---
 .../0003_fix-case-sensitive-search-pdf.patch       | 32 ----------------------
 debian/patches/series                              |  1 -
 2 files changed, 33 deletions(-)

diff --git a/debian/patches/0003_fix-case-sensitive-search-pdf.patch b/debian/patches/0003_fix-case-sensitive-search-pdf.patch
deleted file mode 100644
index 3c65663..0000000
--- a/debian/patches/0003_fix-case-sensitive-search-pdf.patch
+++ /dev/null
@@ -1,32 +0,0 @@
-From 6f17ff9e26dfca3f120e424c374c06f9fefab46f Mon Sep 17 00:00:00 2001
-From: Cormac Walsh <cormac.walsh at protonmail.com>
-Date: Fri, 14 Oct 2016 22:22:09 +0200
-Subject: [PATCH] Fix case sensitive searching for PDF
-
----
- backend/pdf/ev-poppler.cc | 6 +++++-
- 1 file changed, 5 insertions(+), 1 deletion(-)
-
-diff --git a/backend/pdf/ev-poppler.cc b/backend/pdf/ev-poppler.cc
-index ea49695..0ba8c0b 100644
---- a/backend/pdf/ev-poppler.cc
-+++ b/backend/pdf/ev-poppler.cc
-@@ -1523,13 +1523,17 @@ pdf_document_find_find_text (EvDocumentFind *document_find,
- 	PopplerPage *poppler_page;
- 	gdouble height;
- 	GList *retval = NULL;
-+	PopplerFindFlags options = POPPLER_FIND_DEFAULT;
- 
- 	g_return_val_if_fail (POPPLER_IS_PAGE (page->backend_page), NULL);
- 	g_return_val_if_fail (text != NULL, NULL);
- 
- 	poppler_page = POPPLER_PAGE (page->backend_page);
- 	
--	matches = poppler_page_find_text (poppler_page, text);
-+	if (case_sensitive)
-+		options = POPPLER_FIND_CASE_SENSITIVE;
-+
-+	matches = poppler_page_find_text_with_options (poppler_page, text, options);
- 	if (!matches)
- 		return NULL;
- 
diff --git a/debian/patches/series b/debian/patches/series
index f1c39b7..71bdb07 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,3 @@
 0001_open-multiple-files.patch
 0002_forgotten-mutex-unlock.patch
-0003_fix-case-sensitive-search-pdf.patch
 2001_omit-gfdl-licensed-help-files.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-mate/atril.git