Browse Source

Fix issue with resizing the zoom box width - follow-up of 2816

Jonas 12 years ago
parent
commit
ab9bc2bc34
  1. 16
      web/viewer.js

16
web/viewer.js

@ -30,6 +30,8 @@ var MIN_SCALE = 0.25;
var MAX_SCALE = 4.0; var MAX_SCALE = 4.0;
var SETTINGS_MEMORY = 20; var SETTINGS_MEMORY = 20;
var HISTORY_DISABLED = false; var HISTORY_DISABLED = false;
var SCALE_SELECT_CONTAINER_PADDING = 8;
var SCALE_SELECT_PADDING = 22;
var RenderingStates = { var RenderingStates = {
INITIAL: 0, INITIAL: 0,
RUNNING: 1, RUNNING: 1,
@ -3729,15 +3731,19 @@ window.addEventListener('localized', function localized(evt) {
document.getElementsByTagName('html')[0].dir = mozL10n.getDirection(); document.getElementsByTagName('html')[0].dir = mozL10n.getDirection();
// Adjust the width of the zoom box to fit the content. // Adjust the width of the zoom box to fit the content.
PDFView.animationStartedPromise.then( // Note: This is only done if the zoom box is actually visible,
function() { // since otherwise element.clientWidth will return 0.
var container = document.getElementById('scaleSelectContainer'); PDFView.animationStartedPromise.then(function() {
var container = document.getElementById('scaleSelectContainer');
if (container.clientWidth > 0) {
var select = document.getElementById('scaleSelect'); var select = document.getElementById('scaleSelect');
select.setAttribute('style', 'min-width: inherit;'); select.setAttribute('style', 'min-width: inherit;');
var width = select.clientWidth + 8; var width = select.clientWidth + SCALE_SELECT_CONTAINER_PADDING;
select.setAttribute('style', 'min-width: ' + (width + 20) + 'px;'); select.setAttribute('style', 'min-width: ' +
(width + SCALE_SELECT_PADDING) + 'px;');
container.setAttribute('style', 'min-width: ' + width + 'px; ' + container.setAttribute('style', 'min-width: ' + width + 'px; ' +
'max-width: ' + width + 'px;'); 'max-width: ' + width + 'px;');
}
}); });
}, true); }, true);

Loading…
Cancel
Save