From 0717903e6473bc5747931acef163e57843633cb3 Mon Sep 17 00:00:00 2001 From: Daniel Eke Date: Thu, 5 Oct 2023 14:05:41 +0300 Subject: [PATCH 01/32] Fix gl-stats.html and disjoint timer query extension (internal-810) * Fix gl-stats.html * Update disjoint timer query extension --- bench/gl-stats.html | 8 ++++---- flow-typed/webgl2.js | 10 ++++++++++ src/gl/context.js | 2 +- src/render/painter.js | 22 ++++++++++++++-------- src/ui/map.js | 11 ++++++----- 5 files changed, 35 insertions(+), 18 deletions(-) diff --git a/bench/gl-stats.html b/bench/gl-stats.html index 7e580e4da35..57da37649a5 100644 --- a/bench/gl-stats.html +++ b/bench/gl-stats.html @@ -8,12 +8,13 @@ let now = performance.now(); window.performance.now = () => now; - + + +