2515 |
(putstring (if enabled "B" "b")) |
(putstring (if enabled "B" "b")) |
2516 |
(source-window (get-buffer-window (current-buffer) 0))) |
(source-window (get-buffer-window (current-buffer) 0))) |
2517 |
(add-text-properties |
(add-text-properties |
2518 |
0 1 '(help-echo "mouse-1: set/clear bkpt, mouse-3: enable/disable bkpt") |
0 1 '(help-echo "mouse-1: clear bkpt, mouse-3: enable/disable bkpt") |
2519 |
putstring) |
putstring) |
2520 |
(if enabled |
(if enabled |
2521 |
(add-text-properties |
(add-text-properties |
2557 |
(find-image `((:type xpm :data |
(find-image `((:type xpm :data |
2558 |
,breakpoint-xpm-data |
,breakpoint-xpm-data |
2559 |
:conversion disabled |
:conversion disabled |
2560 |
:ascent 100) |
:ascent 100 :pointer hand) |
2561 |
(:type pbm :data |
(:type pbm :data |
2562 |
,breakpoint-disabled-pbm-data |
,breakpoint-disabled-pbm-data |
2563 |
:ascent 100)))))) |
:ascent 100 :pointer hand)))))) |
2564 |
(+ start 1) |
(+ start 1) |
2565 |
putstring |
putstring |
2566 |
'left-margin)) |
'left-margin)) |