diff --git a/pdf.js b/pdf.js index 2ba25c221..580825b33 100644 --- a/pdf.js +++ b/pdf.js @@ -1561,6 +1561,7 @@ var CanvasExtraState = (function() { this.alphaIsShape = false; this.fontSize = 0.0; this.textMatrix = IDENTITY_MATRIX; + this.leading = 0.0; // Current point (in user coordinates) this.x = 0.0; this.y = 0.0; @@ -1614,9 +1615,11 @@ var CanvasGraphics = (function() { // Text BT: this.beginText, ET: this.endText, + TL: this.setLeading, Tf: this.setFont, Td: this.moveText, Tm: this.setTextMatrix, + "T*": this.nextLine, Tj: this.showText, TJ: this.showSpacedText, @@ -1788,6 +1791,9 @@ var CanvasGraphics = (function() { }, endText: function() { }, + setLeading: function(leading) { + this.current.leading = leading; + }, setFont: function(fontRef, size) { var fontRes = this.res.get("Font"); if (!fontRes) @@ -1809,6 +1815,9 @@ var CanvasGraphics = (function() { this.current.x = this.current.lineX = 0; this.current.y = this.current.lineY = 0; }, + nextLine: function() { + this.moveText(0, this.current.leading); + }, showText: function(text) { this.ctx.save(); this.ctx.translate(0, 2 * this.current.y); diff --git a/test.html b/test.html index 09ccf62d2..f78f22ce2 100644 --- a/test.html +++ b/test.html @@ -52,7 +52,8 @@ function load() { pageDisplay = document.getElementById("pageNumber"); infoDisplay = document.getElementById("info"); pageNum = parseInt(queryParams().page) || 1; - open("compressed.tracemonkey-pldi-09.pdf"); + fileName = queryParams().file || "compressed.tracemonkey-pldi-09.pdf"; + open(fileName); } function open(url) {