=================================================================== RCS file: /home/cvs/OpenXM/src/kxx/init-openxm.scm,v retrieving revision 1.1 retrieving revision 1.13 diff -u -p -r1.1 -r1.13 --- OpenXM/src/kxx/init-openxm.scm 2004/03/05 19:31:12 1.1 +++ OpenXM/src/kxx/init-openxm.scm 2004/04/16 07:50:22 1.13 @@ -1,28 +1,106 @@ -; $OpenXM$ +; $OpenXM: OpenXM/src/kxx/init-openxm.scm,v 1.12 2004/03/25 01:05:34 ohara Exp $ +(define (alist-search alist) + (let* ((lang (or (getenv "LANG") "C")) + (ent (assoc (substring lang 0 (min (string-length lang) 2)) alist))) + (if ent (cdr ent) (cdr (assoc "C" alist))))) + +(define manual-asir2000 + (alist-search + '(("C" . "doc/asir2000/html-eg/man_toc.html") ("ja" . "doc/asir2000/html-jp/man_toc.html")))) + +(define manual-asir-contrib + (alist-search + '(("C" . "doc/asir-contrib/html-en/cman-en_toc.html") ("ja" . "doc/asir-contrib/html-ja/cman-ja_toc.html")))) + +(define (openxm-eval t) + (import-from (texmacs plugin plugin-cmd)) + (import-from (texmacs plugin plugin-convert)) + (plugin-eval "openxm" "default" (object->tree t))) + +(define (openxm-eval-paste t) + (insert-tree (object->tree (openxm-eval t)))) + +(define (openxm-path t) + (if (string? t) + (let* ((openxm-home (or (getenv "OpenXM_HOME") "/usr/local/OpenXM")) + (local-path (string-append openxm-home "/" t)) + (web-prefix "http://www.math.kobe-u.ac.jp/OpenXM/Current/") + (web-path (string-append web-prefix t))) + (if (url-exists? local-path) local-path web-path)))) + +(define w3m-cmd + (cond + ((url-exists-in-path? "w3m") + (cond ((url-exists-in-path? "rxvt") "rxvt -g 100x50 -e w3m") + ((url-exists-in-path? "kterm") "kterm -g 100x50 -e w3m") + ((url-exists-in-path? "xterm") "xterm -g 100x50 -e w3m") + (else #f))) + ((url-exists-in-path? "mozilla" ) "mozilla" ) + ((url-exists-in-path? "netscape") "netscape") + ((url-exists-in-path? "iexplore") "iexplore") + (else #f))) + +(define (w3m t) + (if (and (string? t) w3m-cmd) + (system (string-append w3m-cmd " " t " &")))) + +(define (w3m-search t) + (w3m (openxm-path t))) + (define (openxm-initialize) (menu-extend texmacs-session-help-icons - (if (and (in-openxm?) - (url-exists? "/usr/local/OpenXM/doc/asir2000/html-eg/man_toc.html")) + (if (in-openxm?) | ((balloon (icon "tm_help.xpm") "Risa/Asir manual") - (load-help-buffer "/usr/local/OpenXM/doc/asir2000/html-eg/man_toc.html"))) ) + (w3m-search manual-asir2000)))) (menu-extend texmacs-extra-menu (if (in-openxm?) (=> "OpenXM" - ("Asir mode" (insert-string "!asir;")) - ("Kan/sm1 mode" (insert-string "!sm1;")) - --- - (-> "Manuals" - ("Risa/Asir manual" (load-help-buffer "/usr/local/OpenXM/doc/asir2000/html-eg/man_toc.html")) - ("Asir-contrib manual" (load-help-buffer "/usr/local/OpenXM/doc/asir-contrib/html-en/cman-en_toc.html"))) - (-> "Web" - ("The OpenXM Project" (load-buffer "http://www.math.kobe-u.ac.jp/OpenXM/"))) - ))) + (-> "Select engines" + ("Risa/Asir" (insert-string "!asir;")) + ("Kan/sm1" (insert-string "!sm1;"))) + (-> "Select display style" + ("LaTeX" (openxm-eval "!latex;")) + ("verbatim" (openxm-eval "!verbatim;"))) + (-> "Load Modules (Asir)" + ("ccurve" (openxm-eval "load(\"ccurve.rr\");")) + ("dsolv" (openxm-eval "load(\"dsolv\");")) + ("ratint" (openxm-eval "load(\"ratint\");")) + ("solv" (openxm-eval "load(\"solv\");")) + ("sp" (openxm-eval "load(\"sp\");")) + ("sturm" (openxm-eval "load(\"sturm\");")) + ("sym" (openxm-eval "load(\"sym\");")) + ("weight" (openxm-eval "load(\"weight\");")) + ("yang" (openxm-eval "load(\"yang.rr\");")) + ) + (-> "Display Configuration (Asir)" + ("Load default" (openxm-eval "noro_print_env(0);")) + ("Weyl algebra" (openxm-eval "noro_print_env(\"weyl\");")) + ("Euler OPs" (openxm-eval "noro_print_env(\"yang\");")) + ) + --- + (-> "Manuals" + ("Risa/Asir manual" + (w3m-search manual-asir2000)) + ("Asir-contrib manual" + (w3m-search manual-asir-contrib))) + (-> "Web" + ("The OpenXM Project" (w3m "http://www.math.kobe-u.ac.jp/OpenXM/")) + ("Risa/Asir web page" (w3m "http://www.math.kobe-u.ac.jp/Asir/index-ja.html"))) + ))) ) +(define (openxm-serialize lan t) + (import-from (texmacs plugin plugin-cmd)) + (with u (pre-serialize lan t) + (with s (texmacs->verbatim (object->tree u)) + (string-append (string-replace s "\n" "\v") "\n") + ))) + (plugin-configure openxm - (:require (url-exists-in-path? "ox_texmacs")) + (:require (url-exists-in-path? "openxm")) (:initialize (openxm-initialize)) - (:launch "ox_texmacs") - (:session "OpenXM")) + (:serializer ,openxm-serialize) + (:launch "exec openxm ox_texmacs") + (:session "OpenXM[asir,sm1]"))