[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 3 dots vanish at end of filled line
From: |
Stefan Monnier |
Subject: |
Re: 3 dots vanish at end of filled line |
Date: |
Wed, 12 Oct 2005 15:47:53 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
> The issue at hand is how to make this feature work correctly.
> I don't want to digress from that into the issue of how to turn
> it off.
I've installed the patch below.
Stefan
--- info.el 12 oct 2005 12:46:26 -0400 1.449
+++ info.el 12 oct 2005 15:42:23 -0400
@@ -3698,9 +3698,15 @@
;; Fontify titles
(goto-char (point-min))
- (when not-fontified-p
- (while (re-search-forward "\n\\([^
\t\n].+\\)\n\\(\\*\\*+\\|==+\\|--+\\|\\.\\.+\\)$"
+ (when (and font-lock-mode not-fontified-p)
+ (while (and (re-search-forward "\n\\([^
\t\n].+\\)\n\\(\\*\\*+\\|==+\\|--+\\|\\.\\.+\\)$"
nil t)
+ ;; Only consider it as an underlined title if the ASCII
+ ;; underline has the same size as the text. A typical
+ ;; counter example is when a continuation "..." is alone
+ ;; on a line.
+ (= (- (match-end 1) (match-beginning 1))
+ (- (match-end 2) (match-beginning 2))))
(let* ((c (preceding-char))
(face
(cond ((= c ?*) 'info-title-1)
- Re: 3 dots vanish at end of filled line, (continued)
- Re: 3 dots vanish at end of filled line, Richard M. Stallman, 2005/10/10
- Re: 3 dots vanish at end of filled line, Richard M. Stallman, 2005/10/10
- Re: 3 dots vanish at end of filled line, Luc Teirlinck, 2005/10/10
- Re: 3 dots vanish at end of filled line, Luc Teirlinck, 2005/10/10
- Re: 3 dots vanish at end of filled line, Richard M. Stallman, 2005/10/11
- Re: 3 dots vanish at end of filled line, Luc Teirlinck, 2005/10/11
- Re: 3 dots vanish at end of filled line,
Stefan Monnier <=
- Re: 3 dots vanish at end of filled line, Richard M. Stallman, 2005/10/13
- Re: 3 dots vanish at end of filled line, KOBAYASHI Yasuhiro, 2005/10/28
- Re: 3 dots vanish at end of filled line, Juri Linkov, 2005/10/10
- Re: 3 dots vanish at end of filled line, Luc Teirlinck, 2005/10/09
- Re: 3 dots vanish at end of filled line, Richard M. Stallman, 2005/10/10
- Re: 3 dots vanish at end of filled line, Stefan Monnier, 2005/10/10
- Re: 3 dots vanish at end of filled line, Richard M. Stallman, 2005/10/10
- Re: 3 dots vanish at end of filled line, Robert J. Chassell, 2005/10/09
- Re: 3 dots vanish at end of filled line, Richard M. Stallman, 2005/10/10
- Re: 3 dots vanish at end of filled line, Robert J. Chassell, 2005/10/10