Add configuration option for PDF-JS-viewer

1 files changed, 5 insertions, 1 deletions

diff --git a/surf.c b/surf.c
index 8b35a8f..7a0f624 100644
--- a/surf.c
+++ b/surf.c
@@ -71,6 +71,7 @@ typedef enum {
 	KioskMode,
 	LoadImages,
 	MediaManualPlay,
+	PDFJSviewer,
 	PreferredLanguages,
 	RunInFullscreen,
 	ScrollBars,
@@ -285,6 +286,7 @@ static ParamName loadcommitted[] = {
 	Inspector,
 //	KioskMode,
 	MediaManualPlay,
+	PDFJSviewer,
 	RunInFullscreen,
 	ScrollBars,
 	SiteQuirks,
@@ -817,6 +819,8 @@ setparameter(Client *c, int refresh, ParamName p, const Arg *a)
 		webkit_settings_set_media_playback_requires_user_gesture(
 		    c->settings, a->i);
 		break;
+	case PDFJSviewer:
+		return; /* do nothing */
 	case PreferredLanguages:
 		return; /* do nothing */
 	case RunInFullscreen:
@@ -1701,7 +1705,7 @@ decideresource(WebKitPolicyDecision *d, Client *c)
 	    && !g_str_has_prefix(uri, "webkit://")
 	    && !g_str_has_prefix(uri, "data:")
 	    && !g_str_has_prefix(uri, "blob:")
-	    && !g_str_has_prefix(uri, "webkit-pdfjs-viewer://")
+	    && !(g_str_has_prefix(uri, "webkit-pdfjs-viewer://") && curconfig[PDFJSviewer].val.i)
 	    && strlen(uri) > 0) {
 		for (i = 0; i < strlen(uri); i++) {
 			if (!g_ascii_isprint(uri[i])) {