1180 |
"[^ \t]") |
"[^ \t]") |
1181 |
(1+ (point))) |
(1+ (point))) |
1182 |
'(mouse-face highlight |
'(mouse-face highlight |
1183 |
|
follow-link t |
1184 |
help-echo "mouse-2: go to this bookmark")))))) |
help-echo "mouse-2: go to this bookmark")))))) |
1185 |
|
|
1186 |
;;;###autoload |
;;;###autoload |
1572 |
"[^ \t]") |
"[^ \t]") |
1573 |
(1+ (point))) |
(1+ (point))) |
1574 |
'(mouse-face highlight |
'(mouse-face highlight |
1575 |
|
follow-link t |
1576 |
help-echo "mouse-2: go to this bookmark"))) |
help-echo "mouse-2: go to this bookmark"))) |
1577 |
(insert "\n") |
(insert "\n") |
1578 |
))) |
))) |
1702 |
"[^ \t]") |
"[^ \t]") |
1703 |
(1+ (point))) |
(1+ (point))) |
1704 |
'(mouse-face highlight |
'(mouse-face highlight |
1705 |
|
follow-link t |
1706 |
help-echo |
help-echo |
1707 |
"mouse-2: go to this bookmark")))) |
"mouse-2: go to this bookmark")))) |
1708 |
(setq bookmark-bmenu-hidden-bookmarks |
(setq bookmark-bmenu-hidden-bookmarks |