devtools gas: add number delimiters

aduros · Aug 19, 2022 · 82a804f · 82a804f
1 parent 33010e0
commit 82a804f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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">