// TODO move more preferences and other async stuff here
]);
returninitializedPromise.then(function(){
PDFView.initialized=true;
});
},
getPage:functionpdfViewGetPage(n){
@ -1652,8 +1662,10 @@ var DocumentOutlineView = function documentOutlineView(outline) {
@@ -1652,8 +1662,10 @@ var DocumentOutlineView = function documentOutlineView(outline) {