# HG changeset patch
# User zegervdv <zegervdv@me.com>
# Date 1615483469 -3600
# Node ID 01ed548d66b772b37f8d9d1c4e9d895696f88287
# Parent  d535995f87efbd99e9c27b90352528406fddf730
Add kitty marker for errors

Press <F1> to mark 'error' in red

diff -r d535995f87ef -r 01ed548d66b7 dot_config/kitty/kitty.conf
--- a/dot_config/kitty/kitty.conf	Fri Mar 05 18:19:42 2021 +0100
+++ b/dot_config/kitty/kitty.conf	Thu Mar 11 18:24:29 2021 +0100
@@ -44,3 +44,7 @@
 draw_minimal_borders yes
 active_border_color #b3deef
 inactive_border_color #282c34
+
+mark1_foreground white
+mark1_background #f43753
+map f1 toggle_marker iregex 1 \berror\b