Re: 3 dots vanish at end of filled line

[Stefan Monnier <monnier@iro.umontreal.ca>]

> 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)