diff options
Diffstat (limited to 'etc/themes/whiteboard-theme.el')
| -rw-r--r-- | etc/themes/whiteboard-theme.el | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/etc/themes/whiteboard-theme.el b/etc/themes/whiteboard-theme.el index 5e2f466acc4..0192289a5bc 100644 --- a/etc/themes/whiteboard-theme.el +++ b/etc/themes/whiteboard-theme.el @@ -83,6 +83,16 @@ `(outline-4 ((,class (:foreground "RoyalBlue")))) `(outline-5 ((,class (:foreground "DeepSkyBlue")))) `(primary-selection ((,class (:background "blue3")))) + `(realgud-overlay-arrow1 ((,class (:foreground "DarkGreen")))) + `(realgud-overlay-arrow2 ((,class (:foreground "DarkOliveGreen")))) + `(realgud-overlay-arrow3 ((,class (:foreground "gray60")))) + `(realgud-bp-disabled-face ((,class (:foreground "gray60")))) + `(realgud-bp-line-enabled-face ((,class (:underline "red")))) + `(realgud-bp-line-disabled-face ((,class (:underline "gray60")))) + `(realgud-file-name ((,class :foreground "DarkGreen"))) + `(realgud-line-number ((,class :foreground "blue3"))) + `(realgud-backtrace-number ((,class :foreground "blue3" :weight bold))) + `(region ((,class (:background "SkyBlue1")))) `(show-paren-match-face ((,class (:background "dodgerblue1" :foreground "white")))) `(show-paren-mismatch-face ((,class (:background "red1" :foreground "white")))) |