510 |
(defvar idlwave-shell-use-breakpoint-glyph t |
(defvar idlwave-shell-use-breakpoint-glyph t |
511 |
"Obsolete variable. See `idlwave-shell-mark-breakpoints.") |
"Obsolete variable. See `idlwave-shell-mark-breakpoints.") |
512 |
|
|
513 |
(defcustom idlwave-shell-breakpoint-face 'idlwave-shell-bp-face |
(defcustom idlwave-shell-breakpoint-face 'idlwave-shell-bp |
514 |
"*The face for breakpoint lines in the source code. |
"*The face for breakpoint lines in the source code. |
515 |
Allows you to choose the font, color and other properties for |
Allows you to choose the font, color and other properties for |
516 |
lines which have a breakpoint. See also `idlwave-shell-mark-breakpoints'." |
lines which have a breakpoint. See also `idlwave-shell-mark-breakpoints'." |
517 |
:group 'idlwave-shell-highlighting-and-faces |
:group 'idlwave-shell-highlighting-and-faces |
518 |
:type 'symbol) |
:type 'symbol) |
519 |
|
|
520 |
(if idlwave-shell-have-new-custom |
(if (not idlwave-shell-have-new-custom) |
521 |
;; We have the new customize - use it to define a customizable face |
;; Just copy the underline face to be on the safe side. |
522 |
(defface idlwave-shell-bp-face |
(copy-face 'underline 'idlwave-shell-bp) |
523 |
'((((class color)) (:foreground "Black" :background "Pink")) |
;; We have the new customize - use it to define a customizable face |
524 |
(t (:underline t))) |
(defface idlwave-shell-bp |
525 |
"Face for highlighting lines with breakpoints." |
'((((class color)) (:foreground "Black" :background "Pink")) |
526 |
:group 'idlwave-shell-highlighting-and-faces) |
(t (:underline t))) |
527 |
;; Just copy the underline face to be on the safe side. |
"Face for highlighting lines with breakpoints." |
528 |
(copy-face 'underline 'idlwave-shell-bp-face)) |
:group 'idlwave-shell-highlighting-and-faces) |
529 |
|
;; backward-compatibility alias |
530 |
|
(put 'idlwave-shell-bp-face 'face-alias 'idlwave-shell-bp)) |
531 |
|
|
532 |
(defcustom idlwave-shell-disabled-breakpoint-face |
(defcustom idlwave-shell-disabled-breakpoint-face |
533 |
'idlwave-shell-disabled-bp-face |
'idlwave-shell-disabled-bp |
534 |
"*The face for disabled breakpoint lines in the source code. |
"*The face for disabled breakpoint lines in the source code. |
535 |
Allows you to choose the font, color and other properties for |
Allows you to choose the font, color and other properties for |
536 |
lines which have a breakpoint. See also `idlwave-shell-mark-breakpoints'." |
lines which have a breakpoint. See also `idlwave-shell-mark-breakpoints'." |
537 |
:group 'idlwave-shell-highlighting-and-faces |
:group 'idlwave-shell-highlighting-and-faces |
538 |
:type 'symbol) |
:type 'symbol) |
539 |
|
|
540 |
(if idlwave-shell-have-new-custom |
(if (not idlwave-shell-have-new-custom) |
541 |
;; We have the new customize - use it to define a customizable face |
;; Just copy the underline face to be on the safe side. |
542 |
(defface idlwave-shell-disabled-bp-face |
(copy-face 'underline 'idlwave-shell-disabled-bp) |
543 |
'((((class color)) (:foreground "Black" :background "gray")) |
;; We have the new customize - use it to define a customizable face |
544 |
(t (:underline t))) |
(defface idlwave-shell-disabled-bp |
545 |
"Face for highlighting lines with breakpoints." |
'((((class color)) (:foreground "Black" :background "gray")) |
546 |
:group 'idlwave-shell-highlighting-and-faces) |
(t (:underline t))) |
547 |
;; Just copy the underline face to be on the safe side. |
"Face for highlighting lines with breakpoints." |
548 |
(copy-face 'underline 'idlwave-shell-disabled-bp-face)) |
:group 'idlwave-shell-highlighting-and-faces) |
549 |
|
;; backward-compatibility alias |
550 |
|
(put 'idlwave-shell-disabled-bp-face 'face-alias 'idlwave-shell-disabled-bp)) |
551 |
|
|
552 |
|
|
553 |
(defcustom idlwave-shell-expression-face 'secondary-selection |
(defcustom idlwave-shell-expression-face 'secondary-selection |