From 4ed44be56958f47c623b698d05737e0eda78a44f Mon Sep 17 00:00:00 2001
From: minjaesong <alswo9628@gmail.com>
Date: Thu, 22 Apr 2021 13:41:05 +0900
Subject: [PATCH] edit.js: line numbering for lnum >= 10000

---
 assets/disk0/tvdos/bin/edit.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/assets/disk0/tvdos/bin/edit.js b/assets/disk0/tvdos/bin/edit.js
index 576a4a3..7e2f9dc 100644
--- a/assets/disk0/tvdos/bin/edit.js
+++ b/assets/disk0/tvdos/bin/edit.js
@@ -72,6 +72,7 @@ function drawLineNumbers() {
         con.move(y + PAINT_START_Y, 1);
         let lnum = scroll + y + 1;
         if (lnum < 1 || lnum - 1 >= textbuffer.length) print('    ');
+        else if (lnum >= 10000) print(`${String.fromCharCode(64+lnum/10000)}${(""+lnum%10000).padStart(4,'0')}`);
         else if (lnum >= 1000) print(`${lnum}`);
         else if (lnum >= 100) print(`${lnum} `);
         else if (lnum >= 10) print(` ${lnum} `);