Port user settings

This commit is contained in:
Pieter Vander Vennet 2023-04-07 02:13:57 +02:00
parent 97aaa8e941
commit 8085079eff
30 changed files with 566 additions and 497 deletions

View file

@ -21,6 +21,7 @@ export class MenuState {
public readonly highlightedLayerInFilters: UIEventSource<string> = new UIEventSource<string>(
undefined
)
public highlightedUserSetting: UIEventSource<string> = new UIEventSource<string>(undefined)
constructor() {
this.themeViewTabIndex = new UIEventSource(0)
this.themeViewTab = this.themeViewTabIndex.sync(
@ -57,6 +58,12 @@ export class MenuState {
}
}
public openUsersettings(highlightTagRendering?: string) {
this.menuIsOpened.setData(true)
this.menuViewTab.setData("settings")
this.highlightedUserSetting.setData(highlightTagRendering)
}
public closeAll() {
this.menuIsOpened.setData(false)
this.themeIsOpened.setData(false)