Lines Matching defs:highlighting
461 (defgroup idlwave-shell-highlighting-and-faces nil
478 a face highlighting may be better.
481 :group 'idlwave-shell-highlighting-and-faces
494 :group 'idlwave-shell-highlighting-and-faces
501 :group 'idlwave-shell-highlighting-and-faces
506 :group 'idlwave-shell-highlighting-and-faces
520 :group 'idlwave-shell-highlighting-and-faces
531 :group 'idlwave-shell-highlighting-and-faces
545 :group 'idlwave-shell-highlighting-and-faces
555 "Face for highlighting lines with breakpoints."
556 :group 'idlwave-shell-highlighting-and-faces))
563 :group 'idlwave-shell-highlighting-and-faces
573 "Face for highlighting lines with breakpoints."
574 :group 'idlwave-shell-highlighting-and-faces))
581 :group 'idlwave-shell-highlighting-and-faces
588 :group 'idlwave-shell-highlighting-and-faces
3744 "Make a new overlay for highlighting breakpoints.