fix: mediaQuery deprecations

https://developer.mozilla.org/en-US/docs/Web/API/MediaQueryList/addListener

https://developer.mozilla.org/en-US/docs/Web/API/MediaQueryList/removeListener

Author: aminya

lib/minimap-element.js

@@ -1147,13 +1147,12 @@ class MinimapElement {
    * @access private
    */
   subscribeToMediaQuery () {
-    const query = 'screen and (-webkit-min-device-pixel-ratio: 1.5)'
-    const mediaQuery = window.matchMedia(query)
-    const mediaListener = (e) => { this.requestForcedUpdate() }
-    mediaQuery.addListener(mediaListener)
+    const mediaQuery = window.matchMedia('screen and (-webkit-min-device-pixel-ratio: 1.5)')
+    const mediaListener = () => { this.requestForcedUpdate() }
+    mediaQuery.addEventListener('change', mediaListener)
 
     return new Disposable(() => {
-      mediaQuery.removeListener(mediaListener)
+      mediaQuery.removeEventListener('change', mediaListener)
     })
   }