devtools gas: add number delimiters

aduros · Aug 21, 2022 · 99b84fc · 99b84fc
1 parent acab223
commit 99b84fc
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">