diff options
| author | R. Bernstein <rocky@gnu.org> | 2017-07-08 21:57:33 -0400 |
|---|---|---|
| committer | R. Bernstein <rocky@gnu.org> | 2017-07-08 21:58:44 -0400 |
| commit | 9b8b73f61601962cf5db7a4098d88d48b1d8cc93 (patch) | |
| tree | 9423407932dcf725e5d680a04d4cf019d241077f /etc/themes | |
| parent | 05c5e4d8181ee5274885da4ed520bb9874491aab (diff) | |
| download | emacs-9b8b73f61601962cf5db7a4098d88d48b1d8cc93.tar.gz | |
Add realgud faces faces to whiteboard...
Adjust wheatgrass to use underline for enabled/disabled breakpoints
Diffstat (limited to 'etc/themes')
| -rw-r--r-- | etc/themes/wheatgrass-theme.el | 4 | ||||
| -rw-r--r-- | etc/themes/whiteboard-theme.el | 10 |
2 files changed, 12 insertions, 2 deletions
diff --git a/etc/themes/wheatgrass-theme.el b/etc/themes/wheatgrass-theme.el index 269c33a9650..9ec532d9baa 100644 --- a/etc/themes/wheatgrass-theme.el +++ b/etc/themes/wheatgrass-theme.el @@ -75,8 +75,8 @@ of green, brown, and blue.") `(realgud-overlay-arrow3 ((,class (:foreground "wheat")))) `(realgud-bp-enabled-face ((,class (:inherit error)))) `(realgud-bp-disabled-face ((,class (:foreground "dark slate gray")))) - `(realgud-bp-line-enabled-face ((,class (:foreground "salmon")))) - `(realgud-bp-line-disabled-face ((,class (:foreground "dark slate gray")))) + `(realgud-bp-line-enabled-face ((,class (:underline "SpringGreen3")))) + `(realgud-bp-line-disabled-face ((,class (:underline "salmon")))) `(realgud-file-name ((,class (:foreground "dark khaki")))) `(realgud-line-number ((,class (:foreground "dark cyan")))) `(realgud-backtrace-number ((,class (:foreground "dark cyan" :weight bold)))))) 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")))) |