mirror of
https://github.com/pdf2htmlEX/pdf2htmlEX.git
synced 2024-07-05 01:28:39 +00:00
..
This commit is contained in:
parent
d3922df61d
commit
912cdb1b23
|
@ -94,7 +94,7 @@
|
||||||
* @struct
|
* @struct
|
||||||
*/
|
*/
|
||||||
var Page = function(page, container) {
|
var Page = function(page, container) {
|
||||||
if(page == undefined) return;
|
if(page === undefined) return;
|
||||||
|
|
||||||
this.loaded = false;
|
this.loaded = false;
|
||||||
this.shown = false;
|
this.shown = false;
|
||||||
|
@ -565,7 +565,7 @@
|
||||||
|
|
||||||
// cur_page might be undefined, e.g. from Outline
|
// cur_page might be undefined, e.g. from Outline
|
||||||
var cur_page = _.get_containing_page(t);
|
var cur_page = _.get_containing_page(t);
|
||||||
if(cur_page != undefined)
|
if(cur_page !== undefined)
|
||||||
{
|
{
|
||||||
cur_pos = cur_page.position();
|
cur_pos = cur_page.position();
|
||||||
//get the coordinates in default user system
|
//get the coordinates in default user system
|
||||||
|
@ -573,13 +573,13 @@
|
||||||
}
|
}
|
||||||
|
|
||||||
var detail_str = t.attr('data-dest-detail');
|
var detail_str = t.attr('data-dest-detail');
|
||||||
if(detail_str == undefined) return;
|
if(detail_str === undefined) return;
|
||||||
|
|
||||||
var ok = false;
|
var ok = false;
|
||||||
var detail = JSON.parse(detail_str);
|
var detail = JSON.parse(detail_str);
|
||||||
|
|
||||||
var target_page = _.pages[detail[0]];
|
var target_page = _.pages[detail[0]];
|
||||||
if(target_page == undefined) return;
|
if(target_page === undefined) return;
|
||||||
|
|
||||||
var pos = [0,0];
|
var pos = [0,0];
|
||||||
var upside_down = true;
|
var upside_down = true;
|
||||||
|
@ -645,9 +645,9 @@
|
||||||
/* pos=[x,y], where (0,0) is the top-left corner */
|
/* pos=[x,y], where (0,0) is the top-left corner */
|
||||||
scroll_to : function(pageno, pos) {
|
scroll_to : function(pageno, pos) {
|
||||||
var target_page = this.pages[pageno];
|
var target_page = this.pages[pageno];
|
||||||
if(target_page == undefined) return;
|
if(target_page === undefined) return;
|
||||||
|
|
||||||
if(pos == undefined)
|
if(pos === undefined)
|
||||||
pos = [0,0];
|
pos = [0,0];
|
||||||
|
|
||||||
var cur_target_pos = target_page.position();
|
var cur_target_pos = target_page.position();
|
||||||
|
|
Loading…
Reference in New Issue
Block a user