diff --git a/web/view_history.js b/web/view_history.js index cb21153b6..d4f65f2bc 100644 --- a/web/view_history.js +++ b/web/view_history.js @@ -14,10 +14,12 @@ * See the License for the specific language governing permissions and * limitations under the License. */ -/* globals PDFJS, VIEW_HISTORY_MEMORY, Promise */ +/* globals PDFJS, Promise */ 'use strict'; +var VIEW_HISTORY_MEMORY = 20; + /** * View History - This is a utility for saving various view parameters for * recently opened files. diff --git a/web/viewer.js b/web/viewer.js index bbe1f6696..b1730695f 100644 --- a/web/viewer.js +++ b/web/viewer.js @@ -31,7 +31,6 @@ var DEFAULT_URL = 'compressed.tracemonkey-pldi-09.pdf'; var DEFAULT_SCALE_DELTA = 1.1; var MIN_SCALE = 0.25; var MAX_SCALE = 10.0; -var VIEW_HISTORY_MEMORY = 20; var SCALE_SELECT_CONTAINER_PADDING = 8; var SCALE_SELECT_PADDING = 22; var PAGE_NUMBER_LOADING_INDICATOR = 'visiblePageIsLoading';