From 82a804f501a5ae18515c7b2893b22dedbfa6d39c Mon Sep 17 00:00:00 2001
From: Marcus Ramse <marcus@ramse.se>
Date: Fri, 19 Aug 2022 23:11:52 +0200
Subject: [PATCH] devtools gas: add number delimiters

---
 devtools/web/src/components/devtools/devtools.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devtools/web/src/components/devtools/devtools.ts b/devtools/web/src/components/devtools/devtools.ts
index efcb2586e..c865da0da 100644
--- a/devtools/web/src/components/devtools/devtools.ts
+++ b/devtools/web/src/components/devtools/devtools.ts
@@ -114,7 +114,7 @@ export class Wasm4Devtools extends LitElement {
       ${gasUsed > 0 ? html`
       <section class="inline-section">
         <h4>gas</h4>
-        <span class="info-box text-primary">${gasUsed}</span>
+        <span class="info-box text-primary">${gasUsed.toLocaleString('en-US')}</span>
       </section>
       ` : ''}
       <section class="cart-size-wrapper">