1160 |
(define-fringe-bitmap 'breakpoint |
(define-fringe-bitmap 'breakpoint |
1161 |
"\x3c\x7e\xff\xff\xff\xff\x7e\x3c")) |
"\x3c\x7e\xff\xff\xff\xff\x7e\x3c")) |
1162 |
|
|
1163 |
(defface breakpoint-enabled-bitmap-face |
(defface breakpoint-enabled |
1164 |
'((t |
'((t |
1165 |
:inherit fringe |
:inherit fringe |
1166 |
|
:weight bold |
1167 |
:foreground "red")) |
:foreground "red")) |
1168 |
"Face for enabled breakpoint icon in fringe." |
"Face for enabled breakpoint icon in fringe." |
1169 |
:group 'gud) |
:group 'gud) |
1170 |
|
;; compatibility alias for old name |
1171 |
|
(put 'breakpoint-enabled-bitmap-face 'face-alias 'breakpoint-enabled) |
1172 |
|
|
1173 |
(defface breakpoint-disabled-bitmap-face |
(defface breakpoint-disabled |
1174 |
'((t |
'((t |
1175 |
:inherit fringe |
:inherit fringe |
1176 |
:foreground "grey60")) |
:foreground "grey60")) |
1177 |
"Face for disabled breakpoint icon in fringe." |
"Face for disabled breakpoint icon in fringe." |
1178 |
:group 'gud) |
:group 'gud) |
1179 |
|
;; compatibility alias for old name |
1180 |
|
(put 'breakpoint-disabled-bitmap-face 'face-alias 'breakpoint-disabled) |
1181 |
|
|
1182 |
;;-put breakpoint icons in relevant margins (even those set in the GUD buffer) |
;;-put breakpoint icons in relevant margins (even those set in the GUD buffer) |
1183 |
(defun gdb-info-breakpoints-custom () |
(defun gdb-info-breakpoints-custom () |
2198 |
nil (1+ start) |
nil (1+ start) |
2199 |
`(left-fringe breakpoint |
`(left-fringe breakpoint |
2200 |
,(if enabled |
,(if enabled |
2201 |
'breakpoint-enabled-bitmap-face |
'breakpoint-enabled |
2202 |
'breakpoint-disabled-bitmap-face))) |
'breakpoint-disabled))) |
2203 |
(when (< left-margin-width 2) |
(when (< left-margin-width 2) |
2204 |
(save-current-buffer |
(save-current-buffer |
2205 |
(setq left-margin-width 2) |
(setq left-margin-width 2) |
2236 |
(set-window-margins |
(set-window-margins |
2237 |
(get-buffer-window (current-buffer) 0) |
(get-buffer-window (current-buffer) 0) |
2238 |
left-margin-width right-margin-width)))) |
left-margin-width right-margin-width)))) |
2239 |
(gdb-put-string putstring (1+ start))))) |
(gdb-put-string |
2240 |
|
(propertize putstring |
2241 |
|
'face (if enabled 'breakpoint-enabled 'breakpoint-disabled)) |
2242 |
|
(1+ start))))) |
2243 |
|
|
2244 |
(defun gdb-remove-breakpoint-icons (start end &optional remove-margin) |
(defun gdb-remove-breakpoint-icons (start end &optional remove-margin) |
2245 |
(gdb-remove-strings start end) |
(gdb-remove-strings start end) |