diff options
| -rw-r--r-- | README.md | 2 | ||||
| -rw-r--r-- | personal/itches.md | 20 |
2 files changed, 21 insertions, 1 deletions
@@ -1,5 +1,5 @@ # Peniblec's Memory Leaks -## still reachable: 6072 words in 11 pages +## still reachable: 6136 words in 11 pages Hi! I am a software engineer interested in [a bunch of things]. 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 |