[elpa] externals/modus-vivendi-theme d32b2c8 024/110: Improve style of DIFF-HL "revert" command

[Stefan Monnier]

branch: externals/modus-vivendi-theme
commit d32b2c87531eab7a590b0c720f971631dbb3b341
Author: Protesilaos Stavrou <address@hidden>
Commit: Protesilaos Stavrou <address@hidden>

    Improve style of DIFF-HL "revert" command
    
    This concerns the indicators on the side of a diff hunk that is about to
    be reverted, following a succesful `C-x v n' (`diff-hl-revert-hunk').
    
    It should now be easier to understand which diff hunk is to be reverted.
---
 modus-operandi-theme.el | 2 +-
 modus-vivendi-theme.el  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/modus-operandi-theme.el b/modus-operandi-theme.el
index 0c0fa28..3a20cc1 100644
--- a/modus-operandi-theme.el
+++ b/modus-operandi-theme.el
@@ -1028,7 +1028,7 @@ AMOUNT is a customisation option."
    `(diff-hl-dired-insert ((,class (:inherit diff-hl-insert))))
    `(diff-hl-dired-unknown ((,class (:inherit dired-ignored))))
    `(diff-hl-insert ((,class (:inherit modus-theme-fringe-green))))
-   `(diff-hl-reverted-hunk-highlight ((,class (:inherit 
modus-theme-intense-blue))))
+   `(diff-hl-reverted-hunk-highlight ((,class (:inherit 
modus-theme-fringe-magenta :weight bold))))
    ;;;; diff-mode
    `(diff-added ((,class ,(modus-operandi-theme-diffs
                            bg-main green
diff --git a/modus-vivendi-theme.el b/modus-vivendi-theme.el
index a291820..5ec47b4 100644
--- a/modus-vivendi-theme.el
+++ b/modus-vivendi-theme.el
@@ -1028,7 +1028,7 @@ AMOUNT is a customisation option."
    `(diff-hl-dired-insert ((,class (:inherit diff-hl-insert))))
    `(diff-hl-dired-unknown ((,class (:inherit dired-ignored))))
    `(diff-hl-insert ((,class (:inherit modus-theme-fringe-green))))
-   `(diff-hl-reverted-hunk-highlight ((,class (:inherit 
modus-theme-intense-blue))))
+   `(diff-hl-reverted-hunk-highlight ((,class (:inherit 
modus-theme-fringe-magenta :weight bold))))
    ;;;; diff-mode
    `(diff-added ((,class ,(modus-vivendi-theme-diffs
                            bg-main green