From 1987e2a0a49f1bbb033b58fc833080db6b6fe647 Mon Sep 17 00:00:00 2001 From: quenousimporte Date: Mon, 3 Jul 2023 10:43:54 +0200 Subject: [PATCH] added: new theme dark mingw added: line starting by date in outline --- main.js | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/main.js b/main.js index 9e95110..361a59e 100644 --- a/main.js +++ b/main.js @@ -55,6 +55,15 @@ var stat = var themes = { + mingwdark: + { + bgcolor: "rgb(46,52,64)", + fontfamily: "Lucida console", + fontsize: "14px", + fontcolor: "rgb(191,191,191)", + lineheight: "120%", + accentcolor: "rgb(177,54,186)" + }, mingw64: { bgcolor: "white", @@ -759,6 +768,10 @@ function showoutline() outline["section line " + index + ": " + next] = pos; } } + else if (line.match(/^\d{4}-\d{2}-\d{2}/)) + { + outline[line] = pos; + } }); var keys = Object