394 |
'help-echo "RET, mouse-2: display this man page") |
'help-echo "RET, mouse-2: display this man page") |
395 |
|
|
396 |
(define-button-type 'Man-xref-header-file |
(define-button-type 'Man-xref-header-file |
397 |
'action (lambda (button) |
'action (lambda (button) |
398 |
(unless (Man-view-header-file (button-get button 'Man-target-string)) |
(let ((w (button-get button 'Man-target-string))) |
399 |
(error "Cannot find header file: %s" w))) |
(unless (Man-view-header-file w) |
400 |
'help-echo "mouse-2: display this header file") |
(error "Cannot find header file: %s" w)))) |
401 |
|
'help-echo "mouse-2: display this header file") |
402 |
|
|
403 |
(define-button-type 'Man-xref-normal-file |
(define-button-type 'Man-xref-normal-file |
404 |
'action (lambda (button) |
'action (lambda (button) |