Android: add inset spacers for android

This commit is contained in:
Pieter Vander Vennet 2025-07-18 14:15:37 +02:00
parent 381ac4a2f2
commit 877bdfae95
19 changed files with 84 additions and 47 deletions

View file

@ -16,20 +16,21 @@ export type PageType = (typeof MenuState.pageNames)[number]
*/
export class MenuState {
public static readonly pageNames = [
"about_theme",
"background",
"copyright",
"copyright_icons",
"community_index",
"hotkeys",
"privacy",
"filter",
"background",
"about_theme",
"download",
"favourites",
"failedImages",
"usersettings",
"share",
"favourites",
"filter",
"hotkeys",
"menu",
"privacy",
"search",
"share",
"usersettings",
] as const
/**
@ -172,6 +173,7 @@ export class MenuState {
this._selectedElement.setData(undefined)
return true
}
} finally {
this.isClosingAll = false
}