James-Yu/LaTeX-Workshop
1
1
Fork 0
mirror of https://github.com/James-Yu/LaTeX-Workshop.git synced 2024-10-04 15:17:59 +03:00
Code Issues Projects Releases Wiki Activity

refactoring trim mode

Browse Source
This commit is contained in:
Takashi Tamura 2018-11-04 00:12:26 +09:00
parent aae0bfb952
commit f97f6308b9
1 changed files with 14 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
viewer/latexworkshop.js
View File

@ -52,7 +52,8 @@ socket.addEventListener("message", (event) => {
scrollTop:document.getElementById('viewerContainer').scrollTop,
scrollLeft:document.getElementById('viewerContainer').scrollLeft}))
PDFViewerApplicationOptions.set('showPreviousViewOnLoad', false);
PDFViewerApplication.open(`/pdf:${decodeURIComponent(file)}`)
PDFViewerApplication.open(`/pdf:${decodeURIComponent(file)}`);
window.dispatchEvent(new Event("pagerendered"));
break
case "position":
PDFViewerApplication.pdfViewer.currentScaleValue = data.scale
@ -215,23 +216,28 @@ window.addEventListener("pagerendered", (ev) => {
var trimScale = getTrimScale();
var v = document.getElementById("viewer");
for( var page of v.getElementsByClassName("page") ){
var textLayer = page.getElementsByClassName("textLayer") ? page.getElementsByClassName("textLayer")[0] : undefined;
var canvasWrapper = page.getElementsByClassName("canvasWrapper") ? page.getElementsByClassName("canvasWrapper")[0] : undefined;
var canvas = page.getElementsByTagName("canvas") ? page.getElementsByTagName("canvas")[0] : undefined;
if ( textLayer === undefined || canvasWrapper === undefined || canvas === undefined || canvas.isTrimmed ) {
var textLayer = page.getElementsByClassName("textLayer")[0];
var canvasWrapper = page.getElementsByClassName("canvasWrapper")[0];
var canvas = page.getElementsByTagName("canvas")[0];
if (canvasWrapper === undefined || canvas === undefined) {
page.style.width = "250px";
continue;
}
var w = page.style.width;
var w = canvas.style.width;
var m;
if (m = w.match(/(\d+)/)) {
var width = Number(m[1])/trimScale + 'px';
var width = (Math.floor(Number(m[1])/trimScale)-2) + 'px';
page.style.width = width;
canvasWrapper.style.width = width;
var offsetX = '-' + Number(m[1]) * (1 - 1/trimScale) / 2 + "px";
textLayer.style.left = offsetX;
canvas.style.left = offsetX;
canvas.style.position = "relative";
canvas.isTrimmed = true;
if (textLayer !== undefined && !textLayer.isTrimmed) {
textLayer.style.width = width;
textLayer.style.left = offsetX;
textLayer.isTrimmed = true;
}
}
}
});