First steps for a decent custom theme generator

This commit is contained in:
Pieter Vander Vennet 2020-08-31 02:59:47 +02:00
parent a57b7d93fa
commit 2052976909
82 changed files with 1880 additions and 1311 deletions

View file

@ -18,7 +18,7 @@ export class Layout {
public changesetMessage: string;
public socialImage: string = "";
public layers: LayerDefinition[];
public layers: (LayerDefinition | string)[];
public welcomeMessage: UIElement;
public gettingStartedPlzLogin: UIElement;
public welcomeBackMessage: UIElement;
@ -63,7 +63,7 @@ export class Layout {
id: string,
supportedLanguages: string[],
title: UIElement | string,
layers: LayerDefinition[],
layers: (LayerDefinition | string)[],
startzoom: number,
startLat: number,
startLon: number,