chore: fix small typing issues, formatting

This commit is contained in:
Pieter Vander Vennet 2023-03-08 18:37:32 +01:00
parent 54729b3c33
commit 6fa75505de
3 changed files with 1 additions and 3 deletions

View file

@ -24,7 +24,6 @@ export default class ThemeIntroductionPanel extends Combine {
osmConnection: OsmConnection
currentBounds: Store<BBox>
locationControl: UIEventSource<Loc>
isTranslator: Store<boolean>
},
guistate?: { userInfoIsOpened: UIEventSource<boolean> }
) {