From f9bcb08f78e30e27d9c69db39dc819bd0c518b3d Mon Sep 17 00:00:00 2001
From: Fabian <copy@copy.sh>
Date: Wed, 9 Feb 2022 16:35:20 +0100
Subject: [PATCH] use String.prototype.repeat

---
 gen/rust_ast.js       |  9 +--------
 src/browser/main.js   | 18 +++---------------
 src/browser/screen.js |  3 +--
 3 files changed, 5 insertions(+), 25 deletions(-)

diff --git a/gen/rust_ast.js b/gen/rust_ast.js
index 4a35f718..fb4f2e98 100644
--- a/gen/rust_ast.js
+++ b/gen/rust_ast.js
@@ -2,16 +2,9 @@
 
 const assert = require("assert").strict;
 
-function repeat(s, n)
-{
-    let out = "";
-    for(let i = 0; i < n; i++) out += s;
-    return out;
-}
-
 function indent(lines, how_much)
 {
-    return lines.map(line => repeat(" ", how_much) + line);
+    return lines.map(line => " ".repeat(how_much) + line);
 }
 
 function print_syntax_tree(statements)
diff --git a/src/browser/main.js b/src/browser/main.js
index 22413b61..3580962a 100644
--- a/src/browser/main.js
+++ b/src/browser/main.js
@@ -47,18 +47,6 @@
         }
     }
 
-    function chr_repeat(chr, count)
-    {
-        var result = "";
-
-        while(count-- > 0)
-        {
-            result += chr;
-        }
-
-        return result;
-    }
-
     var progress_ticks = 0;
 
     function show_progress(e)
@@ -95,12 +83,12 @@
             var per50 = Math.floor(per100 / 2);
 
             line += per100 + "% [";
-            line += chr_repeat("#", per50);
-            line += chr_repeat(" ", 50 - per50) + "]";
+            line += "#".repeat(per50);
+            line += " ".repeat(50 - per50) + "]";
         }
         else
         {
-            line += chr_repeat(".", progress_ticks++ % 50);
+            line += ".".repeat(progress_ticks++ % 50);
         }
 
         el.textContent = line;
diff --git a/src/browser/screen.js b/src/browser/screen.js
index 2a2ef82d..0d6cb575 100644
--- a/src/browser/screen.js
+++ b/src/browser/screen.js
@@ -66,8 +66,7 @@ function ScreenAdapter(screen_container, bus)
     function number_as_color(n)
     {
         n = n.toString(16);
-
-        return "#" + Array(7 - n.length).join("0") + n;
+        return "#" + "0".repeat(6 - n.length) + n;
     }