GRL 3e19234edc Change <dialog> for ErrorDialog in <div> because only Chrome knows <dialog>		2021-06-04 16:32:21 +02:00
..
HdpiManager.ts	FEATURE: we now allow a global zoom level of 1.5	2021-05-17 16:11:38 +02:00
WaScaleManager.ts	Change <dialog> for ErrorDialog in <div> because only Chrome knows <dialog>	2021-06-04 16:32:21 +02:00