Merge pull request #121557 from ValeraS/fix/safari-media-query

fix: use addListener instead of addEventListener to to observe media query lists

src/vs/base/browser/dom.ts

@@ -1612,3 +1612,13 @@ export function getCookieValue(name: string): string | undefined {
 
 	return match ? match.pop() : undefined;
 }
+
+export function addMatchMediaChangeListener(query: string, callback: () => void): void {
+	const mediaQueryList = window.matchMedia(query);
+	if (typeof mediaQueryList.addEventListener === 'function') {
+		mediaQueryList.addEventListener('change', callback);
+	} else {
+		// Safari 13.x
+		mediaQueryList.addListener(callback);
+	}
+}