monkeytypegame/monkeytype
1
1
Fork 0
mirror of https://github.com/monkeytypegame/monkeytype.git synced 2026-01-12 02:14:34 +08:00
Code Issues Projects Releases Packages Wiki Activity

refactor: use modern api for toggle fullscreen (@fehmer) (#7150)

Browse source
This commit is contained in:
Christian Fehmer 2025-11-26 23:28:39 +01:00 • committed by GitHub
parent aafabeb78d
commit 227a522024
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 46 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

49
frontend/src/ts/utils/misc.ts
View file

@ -112,54 +112,11 @@ export function objectToQueryString<T extends string | number | boolean>(
return str.join("&");
}
declare global {
// type gets a "Duplicate identifier" error
// eslint-disable-next-line @typescript-eslint/consistent-type-definitions
interface Document {
mozCancelFullScreen?: () => Promise<void>;
msRequestFullscreen?: () => Promise<void>;
msExitFullscreen?: () => Promise<void>;
webkitExitFullscreen?: () => Promise<void>;
mozFullScreenElement?: Element;
msFullscreenElement?: Element;
webkitFullscreenElement?: Element;
}
// eslint-disable-next-line @typescript-eslint/consistent-type-definitions
interface HTMLElement {
msRequestFullscreen?: () => Promise<void>;
mozRequestFullScreen?: () => Promise<void>;
webkitRequestFullscreen?: () => Promise<void>;
}
}
export function toggleFullscreen(): void {
const elem = document.documentElement;
if (
!document.fullscreenElement &&
!document.mozFullScreenElement &&
!document.webkitFullscreenElement &&
!document.msFullscreenElement
) {
if (elem.requestFullscreen !== undefined) {
void elem.requestFullscreen();
} else if (elem.msRequestFullscreen) {
void elem.msRequestFullscreen();
} else if (elem.mozRequestFullScreen) {
void elem.mozRequestFullScreen();
} else if (elem.webkitRequestFullscreen) {
// @ts-expect-error some code i found online
void elem.webkitRequestFullscreen(Element.ALLOW_KEYBOARD_INPUT);
}
if (!document.fullscreenElement) {
void document.documentElement.requestFullscreen();
} else {
if (document.exitFullscreen !== undefined) {
void document.exitFullscreen();
} else if (document.msExitFullscreen) {
void document.msExitFullscreen();
} else if (document.mozCancelFullScreen) {
void document.mozCancelFullScreen();
} else if (document.webkitExitFullscreen) {
void document.webkitExitFullscreen();
}
void document.exitFullscreen();
}
}