added: new theme dark mingw

added: line starting by date in outline
This commit is contained in:
quenousimporte 2023-07-03 10:43:54 +02:00
parent 2c4378a1b9
commit 1987e2a0a4
1 changed files with 13 additions and 0 deletions

13
main.js
View File

@ -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