Minor improvements

This commit is contained in:
Andras Schmelczer 2023-05-27 20:40:17 +01:00
commit f7d24a22b6
No known key found for this signature in database
GPG key ID: FC8F2C3D3D1A718C
4 changed files with 17 additions and 6 deletions

View file

@ -79,7 +79,13 @@ const main = async () => {
infoPageHandler.onOpen = settingsPageHandler.close.bind(settingsPageHandler);
infoPageHandler.open();
new MenuHider(elements.aside, FullScreenHandler.isInFullScreenMode);
new MenuHider(
elements.aside,
() =>
FullScreenHandler.isInFullScreenMode() &&
!settingsPageHandler.isOpen &&
!infoPageHandler.isOpen
);
new FullScreenHandler(
elements.minimizeFullScreenButton,
elements.maximizeFullScreenButton,