blob: 53b6751e7c0a2781a3b5cf6e273c921d6e62ef26 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
Index: x-symbol.el
===================================================================
RCS file: /disk/cvs/proofgen/ProofGeneral/x-symbol/lisp/x-symbol.el,v
retrieving revision 8.0
diff -r8.0 x-symbol.el
4901c4901,4919
<
---
>
> ;; DA: added this to disable looking for other fonts in case
> ;; of unicode.
> (if x-symbol-use-unicode
> (progn
> (require 'x-symbol-unicode)
> (setq x-symbol-latin1-fonts nil)
> (setq x-symbol-latin2-fonts nil)
> (setq x-symbol-latin3-fonts nil)
> (setq x-symbol-latin5-fonts nil)
> (setq x-symbol-latin9-fonts nil)
> (setq x-symbol-xsymb0-fonts nil)
> (setq x-symbol-xsymb1-fonts nil)
> ;; Fixme: we could combine several fonts
> (x-symbol-init-cset x-symbol-unicode-cset
> (list (face-font 'default))
> x-symbol-unicode-table)))
>
>
Index: x-symbol-mule.el
===================================================================
RCS file: /disk/cvs/proofgen/ProofGeneral/x-symbol/lisp/x-symbol-mule.el,v
retrieving revision 8.0
diff -r8.0 x-symbol-mule.el
186,188c186,196
< (let* ((char (if (< encoding 128)
< (make-char (caadr cset) encoding)
< (make-char (caddr cset) (- encoding 128)))))
---
> (let* ((char (cond
> ((and (not x-symbol-use-unicode) (< encoding 128))
> (make-char (caadr cset) encoding))
> ((and (not x-symbol-use-unicode) (< encoding 256))
> (make-char (caddr cset) (- encoding 128)))
> (t
> ;; it must be Unicode...
> (decode-char 'ucs encoding)))))
> ; (make-char (caddr cset)
> ; (mod encoding 256)
> ; (/ encoding 256))))))
191c199,201
< (and coding (>= encoding 160)
---
> (and coding
> (>= encoding 160)
> (not x-symbol-use-unicode)
195a206,208
> ;; (format "#x%x" (+ (* 3 256) 147)) = 0x393
> ;; (make-char 'mule-unicode-2500-33ff 147 3)
>
|
