From 8bba9af403205a661265f540a1d10f7547871226 Mon Sep 17 00:00:00 2001 From: quenousimporte Date: Thu, 30 Nov 2023 12:28:35 +0100 Subject: [PATCH] changed: replace --- with hr in color mode --- main.js | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/main.js b/main.js index 6c7de6a..9f9c550 100644 --- a/main.js +++ b/main.js @@ -2167,6 +2167,12 @@ function rawline2html(line, index, options) line = "" + line + ""; } + // hl + if (line == "---") + { + line = "
"; + } + // autocomplete snippets if (index == currentline()) {