view etc/nxml/0FE20-0FE2F.el @ 98600:42c1a6f2facd

(Info-extract-menu-counting): New argment no-detail to skip detailed node listings. (Info-forward-node): New argument not-up to inhibit going up. (Info-final-node): Call Info-extract-menu-counting and Info-forward-node with the new arguments set to avoid infinite looping. (Bug#1116)
author Martin Rudalics <rudalics@gmx.at>
date Fri, 10 Oct 2008 13:47:17 +0000
parents d668da41bc9c
children ef719132ddfa
line wrap: on
line source

(nxml-define-char-name-set 'combining-half-marks
  '(("COMBINING LIGATURE LEFT HALF" #xFE20)
    ("COMBINING LIGATURE RIGHT HALF" #xFE21)
    ("COMBINING DOUBLE TILDE LEFT HALF" #xFE22)
    ("COMBINING DOUBLE TILDE RIGHT HALF" #xFE23)
    ))

;; arch-tag: de291a34-737a-4bbb-8d97-94f878921d05