PDF.js version 1.0.1025

bower.json

@@ -1,6 +1,6 @@
 {
   "name": "pdfjs-dist",
-  "version": "1.0.1023",
+  "version": "1.0.1025",
   "main": [
     "build/pdf.js",
     "build/pdf.worker.js"

build/pdf.combined.js

@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.0.1023';
-PDFJS.build = '72bb48b';
+PDFJS.version = '1.0.1025';
+PDFJS.build = '406b57f';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
@@ -6351,7 +6351,6 @@ var FontFaceObject = (function FontFaceObjectClosure() {
 })();
 
 
-var HIGHLIGHT_OFFSET = 4; // px
 var ANNOT_MIN_SIZE = 10; // px
 
 var AnnotationUtils = (function AnnotationUtilsClosure() {
@@ -6399,16 +6398,6 @@ var AnnotationUtils = (function AnnotationUtilsClosure() {
     }
     cstyle.width = width + 'px';
     cstyle.height = height + 'px';
-
-    var highlight = document.createElement('div');
-    highlight.className = 'annotationHighlight';
-    highlight.style.left = highlight.style.top = -HIGHLIGHT_OFFSET + 'px';
-    highlight.style.right = highlight.style.bottom = -HIGHLIGHT_OFFSET + 'px';
-    highlight.setAttribute('hidden', true);
-
-    item.highlightElement = highlight;
-    container.appendChild(item.highlightElement);
-
     return container;
   }
 

build/pdf.js

@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.0.1023';
-PDFJS.build = '72bb48b';
+PDFJS.version = '1.0.1025';
+PDFJS.build = '406b57f';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it
@@ -6395,7 +6395,6 @@ var FontFaceObject = (function FontFaceObjectClosure() {
 })();
 
 
-var HIGHLIGHT_OFFSET = 4; // px
 var ANNOT_MIN_SIZE = 10; // px
 
 var AnnotationUtils = (function AnnotationUtilsClosure() {
@@ -6443,16 +6442,6 @@ var AnnotationUtils = (function AnnotationUtilsClosure() {
     }
     cstyle.width = width + 'px';
     cstyle.height = height + 'px';
-
-    var highlight = document.createElement('div');
-    highlight.className = 'annotationHighlight';
-    highlight.style.left = highlight.style.top = -HIGHLIGHT_OFFSET + 'px';
-    highlight.style.right = highlight.style.bottom = -HIGHLIGHT_OFFSET + 'px';
-    highlight.setAttribute('hidden', true);
-
-    item.highlightElement = highlight;
-    container.appendChild(item.highlightElement);
-
     return container;
   }
 

build/pdf.worker.js

@@ -22,8 +22,8 @@ if (typeof PDFJS === 'undefined') {
   (typeof window !== 'undefined' ? window : this).PDFJS = {};
 }
 
-PDFJS.version = '1.0.1023';
-PDFJS.build = '72bb48b';
+PDFJS.version = '1.0.1025';
+PDFJS.build = '406b57f';
 
 (function pdfjsWrapper() {
   // Use strict in our context only - users might not want it

package.json

@@ -1,6 +1,6 @@
 {
   "name": "pdfjs-dist",
-  "version": "1.0.1023",
+  "version": "1.0.1025",
   "description": "Generic build of Mozilla's PDF.js library.",
   "keywords": [
     "Mozilla",

web/pdf_viewer.css

@@ -116,11 +116,6 @@
   border: 0;
 }
 
-.pdfViewer .page .annotationHighlight {
-  position: absolute;
-  border: 2px #FFFF99 solid;
-}
-
 .pdfViewer .page .annotText > img {
   position: absolute;
   cursor: pointer;