From 50511759c152f4ca2e22fb39a9bf31fc9f9d916d Mon Sep 17 00:00:00 2001 From: Art Cancro Date: Mon, 2 Jan 2023 19:16:38 -0500 Subject: [PATCH] more font size tweaks. --- webcit-ng/static/js/main.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webcit-ng/static/js/main.js b/webcit-ng/static/js/main.js index d40131e11..150caae26 100644 --- a/webcit-ng/static/js/main.js +++ b/webcit-ng/static/js/main.js @@ -16,7 +16,7 @@ do_biff = async() => { } if (new_mail > 0) { - console.log("YOU'VE GOT MAIL!"); + console.log("YOU'VE GOT MAIL! new_mail = " + new_mail); new_mail_sound.play(); // FIXME do a visual notification as well new_mail = 0; } -- 2.39.2