diff options
| author | David Aspinall | 2008-01-25 00:18:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-25 00:18:11 +0000 |
| commit | bab90184977b00ea9f826aac475deec5ae465ec6 (patch) | |
| tree | 4ade79815ba65fb9aca337896dcc29351c8d1a65 | |
| parent | 14b4d493fe74a0f5774abd146183fdaba8866e98 (diff) | |
Deleted file
| -rw-r--r-- | x-symbol/lisp/x-symbol-unicode-in-progress.patch | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/x-symbol/lisp/x-symbol-unicode-in-progress.patch b/x-symbol/lisp/x-symbol-unicode-in-progress.patch deleted file mode 100644 index 53b6751e..00000000 --- a/x-symbol/lisp/x-symbol-unicode-in-progress.patch +++ /dev/null @@ -1,58 +0,0 @@ -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) -> |