2946 |
'(font-lock-face info-xref |
'(font-lock-face info-xref |
2947 |
mouse-face highlight)))) |
mouse-face highlight)))) |
2948 |
(when (eq Info-hide-note-references t) |
(when (eq Info-hide-note-references t) |
2949 |
(put-text-property (match-beginning 2) (match-beginning 4) |
(put-text-property (match-beginning 2) (1- (match-end 4)) |
2950 |
'invisible t) |
'invisible t) |
2951 |
;; We need a stretchable space like :align-to but with |
;; We need a stretchable space like :align-to but with |
2952 |
;; a minimum value. |
;; a minimum value. |
2953 |
(put-text-property (match-beginning 4) (match-end 4) 'display |
(put-text-property (1- (match-end 4)) (match-end 4) 'display |
2954 |
(if (>= 22 (- (match-end 1) |
(if (>= 22 (- (match-end 1) |
2955 |
(match-beginning 0))) |
(match-beginning 0))) |
2956 |
'(space :align-to 24) |
'(space :align-to 24) |
2958 |
(setq cont (looking-at ".")) |
(setq cont (looking-at ".")) |
2959 |
(while (and (= (forward-line 1) 0) |
(while (and (= (forward-line 1) 0) |
2960 |
(looking-at "\\([ \t]+\\)[^*\n]")) |
(looking-at "\\([ \t]+\\)[^*\n]")) |
2961 |
(put-text-property (match-beginning 1) (match-end 1) 'display |
(put-text-property (match-beginning 1) (1- (match-end 1)) |
2962 |
|
'invisible t) |
2963 |
|
(put-text-property (1- (match-end 1)) (match-end 1) |
2964 |
|
'display |
2965 |
(if cont |
(if cont |
2966 |
'(space :align-to 26) |
'(space :align-to 26) |
2967 |
'(space :align-to 24))) |
'(space :align-to 24))) |