diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-05-10 22:46:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-05-10 22:46:01 +0000 |
| commit | e78ef6e87a9ff7425d733edc5505ba79c6bf4f97 (patch) | |
| tree | edf4a02e32ef4437d0a9f985c67ab95c09dd05ac /generic | |
| parent | 21a5b580700a4b4224ecd1300b14ff486ffe85e8 (diff) | |
Patch for utf-8 test
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-shell.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index e368c8de..7b2b034c 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -335,9 +335,12 @@ Does nothing if proof assistant is already running." ;; i) coding-system-for-read/write is not available (e.g. MacOS XEmacs non-mule) ;; ii) 'rawtext gives wrong behaviour anyway (e.g. Mac OS GNU Emacs, maybe Windows) ;; probably because of line-feed conversion. + ;; FIXME 3.7: check behaviour of coding-system-for-read in xemacs-21.5, seems to + ;; have API change. (coding-system-for-read - (if proof-shell-unicode - 'utf-8 + (if (and proof-shell-unicode + (find-coding-system 'utf-8)) + 'utf-8 ;; if available (if (string-match "Linux" (shell-command-to-string "uname")) ;; raw-text seems to be useful/needed here. Overrides |