diff options
Diffstat (limited to 'personal')
| -rw-r--r-- | personal/itches.md | 20 |
1 files changed, 20 insertions, 0 deletions
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 |