From cda9ccd3bbf8963f81e95ff194c2a2c983ee0bfd Mon Sep 17 00:00:00 2001 From: Fabian Date: Fri, 14 Apr 2023 14:24:30 +0700 Subject: [PATCH] minor --- src/browser/screen.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/browser/screen.js b/src/browser/screen.js index 895e4285..e073bf66 100644 --- a/src/browser/screen.js +++ b/src/browser/screen.js @@ -16,7 +16,7 @@ function ScreenAdapter(screen_container, bus) text_screen = screen_container.getElementsByTagName("div")[0], cursor_element = document.createElement("div"); - + var /** @type {number} */ cursor_row,