From a4a9a50a093fe8f702b7ef50ef898168b0cf30e3 Mon Sep 17 00:00:00 2001 From: Basile Burg Date: Tue, 31 Mar 2020 13:32:33 +0200 Subject: [PATCH] fix #13 - Add a way to highlight in the messages widget --- docs/index.md | 2 +- docs/widgets_messages.md | 1 + src/u_messages.pas | 37 ++++++++++++++++++++++++++++++++++++- src/u_search.pas | 5 +++-- 4 files changed, 41 insertions(+), 4 deletions(-) diff --git a/docs/index.md b/docs/index.md index c8111615..8802fc17 100644 --- a/docs/index.md +++ b/docs/index.md @@ -5,7 +5,7 @@ header-includes: