From a410e947b3dfe336de6d2d7cee0b9049c3e405ce Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Thu, 20 Dec 2018 19:32:57 +0100
Subject: Document diff-hl bug

---
 personal/itches.md | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'personal')

diff --git a/personal/itches.md b/personal/itches.md
index d755b72..238eb3c 100644
--- a/personal/itches.md
+++ b/personal/itches.md
@@ -400,6 +400,26 @@ Cf. [bug #31586](https://debbugs.gnu.org/cgi/bugreport.cgi?bug=31586).
 
 - borked in magit-diff
 
+### diff-hl
+
+- colored fringe line is discontinued on lines featuring faces with
+  heights greater than 1
+
+  ``` shell
+  $ git init
+  $ echo "* foo" > README.org
+  $ git add README.org ; git commit -m README.org README.org
+  $ echo "* bar" >> README.org
+  $ echo "* baz" >> README.org
+  ```
+
+  ``` elisp
+  (load-file "…/diff-hl.el")
+  (global-diff-hl-mode)
+  (set-face-attribute 'org-level-1 nil :height 1.2)
+  (find-file "README.org")
+  ```
+
 # XFCE
 
 - xfwm: hide/remove titlebar/decorations
-- 
cgit v1.2.3