Revert "Don't listen for window resolution changes in old browsers (PR 15319 follow-up)"
This commit is contained in:
		
							parent
							
								
									5675a6ee64
								
							
						
					
					
						commit
						4c7a03c4cb
					
				| @ -1979,13 +1979,6 @@ const PDFViewerApplication = { | |||||||
|       const mediaQueryList = window.matchMedia( |       const mediaQueryList = window.matchMedia( | ||||||
|         `(resolution: ${window.devicePixelRatio || 1}dppx)` |         `(resolution: ${window.devicePixelRatio || 1}dppx)` | ||||||
|       ); |       ); | ||||||
|       if ( |  | ||||||
|         typeof PDFJSDev !== "undefined" && |  | ||||||
|         PDFJSDev.test("GENERIC && !SKIP_BABEL") && |  | ||||||
|         typeof mediaQueryList.addEventListener !== "function" |  | ||||||
|       ) { |  | ||||||
|         return; // Not supported in Safari<14.
 |  | ||||||
|       } |  | ||||||
|       mediaQueryList.addEventListener("change", addWindowResolutionChange, { |       mediaQueryList.addEventListener("change", addWindowResolutionChange, { | ||||||
|         once: true, |         once: true, | ||||||
|       }); |       }); | ||||||
|  | |||||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user