annotate yahtml.el @ 64:36a48185b95a

Changes are listed in yatex.new. Major one is supporing GNU Emacs20 and XEmacs.
author yuuji
date Tue, 16 Dec 1997 13:28:38 +0000
parents b9f753846b6b
children 0eb6997bee16
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents:
diff changeset
1 ;;; -*- Emacs-Lisp -*-
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
2 ;;; (c ) 1994-1997 by HIROSE Yuuji [yuuji@ae.keio.ac.jp]
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
3 ;;; Last modified Tue Dec 16 21:10:05 1997 on crx
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
4 ;;; $Id$
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
5
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
6 ;;;[Installation]
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
7 ;;;
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
8 ;;; First, you have to install YaTeX and make sure it works fine. Then
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
9 ;;; put these expressions into your ~/.emacs
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
10 ;;;
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
11 ;;; (setq auto-mode-alist
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
12 ;;; (cons (cons "\\.html$" 'yahtml-mode) auto-mode-alist))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
13 ;;; (autoload 'yahtml-mode "yahtml" "Yet Another HTML mode" t)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
14 ;;; (setq yahtml-www-browser "netscape")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
15 ;;; ;Write your favorite browser. But netscape is advantageous.
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
16 ;;; (setq yahtml-path-url-alist
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
17 ;;; '(("/home/yuuji/public_html" . "http://www.mynet/~yuuji")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
18 ;;; ("/home/staff/yuuji/html" . "http://www.othernet/~yuuji")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
19 ;;; ;Write correspondence alist from ABSOLUTE unix path name to URL path.
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
20 ;;;
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
21 ;;;[インストール方法]
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
22 ;;;
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
23 ;;; yahtml.el, yatexlib.el, yatexprc.el を load-path の通ったディレクト
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
24 ;;; リにインストールしてください。その後、以下を参考に ~/.emacs に設定を
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
25 ;;; 追加して下さい。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
26 ;;;
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
27 ;;; (setq auto-mode-alist
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
28 ;;; (cons (cons "\\.html$" 'yahtml-mode) auto-mode-alist))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
29 ;;; (autoload 'yahtml-mode "yahtml" "Yet Another HTML mode" t)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
30 ;;; (setq yahtml-www-browser "netscape")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
31 ;;; ;お気に入りのブラウザを書いて下さい。netscapeが便利です。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
32 ;;; (setq yahtml-path-url-alist
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
33 ;;; '(("/home/yuuji/public_html" . "http://www.mynet/~yuuji")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
34 ;;; ("/home/staff/yuuji/html" . "http://www.othernet/~yuuji")))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
35 ;;; ;UNIXの絶対パスと対応するURLのリストを書いて下さい。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
36 ;;;
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
37 ;;;[Commentary]
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
38 ;;;
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
39 ;;; It is assumed you are already familiar with YaTeX. The following
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
40 ;;; completing featureas are available: ([prefix] means `C-c' by default)
13
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents:
diff changeset
41 ;;;
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
42 ;;; * [prefix] b X Complete environments such as `H1' which
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
43 ;;; normally requires closing tag `</H1>
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
44 ;;; <a href=foo> ... </a> is also classified into
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
45 ;;; this group
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
46 ;;; When input `href=...', you can complete file
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
47 ;;; name or label(href="#foo") by typing TAB.
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
48 ;;; * [prefix] l Complete typeface-changing commands such as
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
49 ;;; `<i> ... </i>' or `<samp> ... </samp>'
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
50 ;;; This completion can be used to make in-line
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
51 ;;; tags which is normally completed with [prefix] b.
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
52 ;;; * [prefix] s Complete declarative notations such as
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
53 ;;; `<img src="foo.gif">'
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
54 ;;; `<input name="var" ...>'
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
55 ;;; * [prefix] m Complete single commands such as
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
56 ;;; `<br>' or `<hr> or <li>...'
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
57 ;;; * [prefix] p Insert <p></p> on the point
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
58 ;;; * M-RET Intelligent newline; if current TAG is one of
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
59 ;;; ul, ol, or dl. insert newline and <li> or
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
60 ;;; <dt> or <dd> suitable for current condition.
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
61 ;;; * menu-bar yahtml Complete all by selecting a menu item (Though I
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
62 ;;; hate menu, this is most useful)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
63 ;;; * [prefix] g Goto corresponding Tag or HREF such as
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
64 ;;; <dl> <-> </dl> or href="xxx".
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
65 ;;; Or invoke image viewer if point is on <img src=...>.
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
66 ;;; * [prefix] k Kill html tags on the point. If you provide
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
67 ;;; universal-argument, kill surrounded contents too.
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
68 ;;; * [prefix] c Change html tags on the point.
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
69 ;;; When typeing [prefix] c on `href="xxx"', you can
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
70 ;;; change the reference link with completion.
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
71 ;;; * [prefix] t j Call weblint on current file.
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
72 ;;; * [prefix] t p View current html with WWW browser
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
73 ;;; (To activate this, never fail to set the lisp
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
74 ;;; variable yahtml-www-browser. Recommended value
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
75 ;;; is "netscape")
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
76 ;;; * [prefix] a YaTeX's accent mark's equivalent of yahtml.
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
77 ;;; This function can input $lt, $gt or so.
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
78 ;;;
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
79 ;;;[キーの説明]
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
80 ;;;
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
81 ;;; 以下の説明において、特にカスタマイズをしていない限り、[prefix] は
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
82 ;;; C-c キーを意味します。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
83 ;;;
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
84 ;;; * [prefix] b X `</H1>' といった終了タグが必要となる`H1'のよう
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
85 ;;; な環境を補完入力します。<a href=foo> ... </a>
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
86 ;;; もこのグループです。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
87 ;;; `href=...' と入力した後、TABキーを押すことで、
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
88 ;;; ファイル名や (href="#foo") のようなラベルも補完
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
89 ;;; できます。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
90 ;;; * [prefix] s 以下のような宣言の補完を行います。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
91 ;;; `<img src="foo.gif">'
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
92 ;;; `<input name="var" ...>'
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
93 ;;; * [prefix] l `<i> ... </i>' や `<samp> ... </samp>' のよう
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
94 ;;; なテキストスタイル指定のタグを補完します。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
95 ;;; この補完機能は通常 [prefix] b で補完できるものを
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
96 ;;; 一行内で書きたいときにも用いることが出来ます。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
97 ;;; * [prefix] m `<br>' や `<hr> '、`<li>' 等の単体タグの補完
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
98 ;;; を行います。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
99 ;;; * [prefix] p カーソル位置に<p></p>を挿入します。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
100 ;;; * M-RET おまかせ改行; もしul、ol、dl等のタグ(リスト)を
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
101 ;;; 使っている場合に、環境に合わせて改行と <li>、
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
102 ;;; <dt>、<dd>を入力します。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
103 ;;; * menu-bar yahtml 選択したアイテムをメニューより補完できます。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
104 ;;; (私はメニューが嫌いなんですが、htmlに関してはメ
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
105 ;;; ニューは一番ありがたいかも)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
106 ;;; * [prefix] g 対応するタグ、<dl> <-> </dl> や href="xxx" の
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
107 ;;; ような TAG にジャンプします。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
108 ;;; <img src=...> の場合はイメージビューワを呼び出
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
109 ;;; します。href=hoge.html の場合はhoge.htmlに飛びま
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
110 ;;; す。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
111 ;;; * [prefix] k ポイント上の HTML タグを消去します。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
112 ;;; もし universal-argument を付けた場合(C-uを先に押
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
113 ;;; す)HTMLタグで囲まれた内容も同時に消去します。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
114 ;;; * [prefix] c ポイント上のタグを変更します。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
115 ;;; `href="xxx"'の上で [prefix] c を利用した場合は、
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
116 ;;; 参照しているリンクを補完機能を使いながら変更で
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
117 ;;; きます。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
118 ;;; * [prefix] t j カレントファイルに対して jweblint を呼び出しま
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
119 ;;; す。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
120 ;;; * [prefix] t p WWW ブラウザでカレントファイルを表示します。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
121 ;;; (lisp変数 yahtml-www-browser の設定をお忘れな
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
122 ;;; く。お推めは "netscape" で、ねすけの場合既にねす
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
123 ;;; けが起動されていた場合そのねすけに Reload 命令を
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
124 ;;; 送るという芸当が出来ます。ただし今のところX版の
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
125 ;;; ねすけちゃんだけ)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
126 ;;; * [prefix] a YaTeX のアクセント記号補完と同じです。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
127 ;;; &lt; &gt; 等が入力できます。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
128 ;;;
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
129 ;;; [謝辞]
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
130 ;;;
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
131 ;;; fj野鳥の会の皆さんには貴重な助言を頂きました。また、下に示す方々には
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
132 ;;; 特に大きな協力を頂きました。あわせてここに感謝申し上げます。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
133 ;;;
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
134 ;;; * 横田和也さん(マツダ)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
135 ;;; マニュアルの和訳をして頂きました。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
136 ;;; * 吉田尚志さん(NTT Data)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
137 ;;; Mule for Win32 での動作のさせ方を教えて頂きました。
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
138 ;;; (というかほとんどやってもらった ^^;)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
139 ;;;
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
140
13
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents:
diff changeset
141
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
142 ;(require 'yatex)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
143 (require 'yatexlib)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
144 ;;; --- customizable variable starts here ---
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
145 (defvar yahtml-prefix "\C-c"
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
146 "*Prefix key stroke of yahtml functions.")
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
147 (defvar yahtml-image-viewer "xv" "*Image viewer program")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
148 (defvar yahtml-www-browser "netscape"
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
149 "*WWW Browser command")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
150 (defvar yahtml-kanji-code 2
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
151 "*Kanji coding system number of html file; 1=sjis, 2=jis, 3=euc")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
152 (defvar yahtml-coding-system
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
153 (cdr (assq yahtml-kanji-code YaTeX-kanji-code-alist))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
154 "Kanji coding system")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
155 (defvar yahtml-fill-column 72 "*fill culumn used for yahtml-mode")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
156 (defvar yahtml-fill-prefix nil "*fill prefix for yahtml-mode")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
157
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
158 ;;(defvar yahtml-www-server "www" "*Host name of your domain's WWW server")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
159 (defvar yahtml-path-url-alist nil
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
160 "*Alist of unix path name vs. URL name of WWW server.
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
161 Ex.
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
162 '((\"/usr/home/yuuji/http\" . \"http://www.comp.ae.keio.ac.jp/~yuuji\")
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
163 (\"/usr/home/yuuji/darts/http\" . \"http://darts.comp.ae.keio.ac.jp/~darts\"))")
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
164 (defvar yahtml-directory-index "index.html"
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
165 "*Directory index file name;
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
166 Consult your site's WWW administrator.")
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
167
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
168 (defvar yahtml-environment-indent 1
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
169 "*Indentation depth of HTML's listing environment")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
170
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
171 (defvar YaTeX-japan (or (boundp 'NEMACS) (boundp 'MULE) YaTeX-emacs-20)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
172 "Whether yatex mode is running on Japanese environment or not.")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
173
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
174 (defvar yahtml-lint-program (if YaTeX-japan "jweblint" "weblint")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
175 "*Program name to lint HTML file")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
176 (defvar yahtml-hate-too-deep-indentation nil
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
177 "*Non-nil for this variable suppress deep indentation in listing environments.")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
178
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
179 (defvar yahtml-always-/p nil
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
180 "*Those who always use <p> with </p> set this to t.")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
181
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
182 (defvar yahtml-p-prefered-env-regexp "^\\(body\\|dl\\)"
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
183 "*Regexp of envs where paragraphed sentences are prefered.")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
184
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
185 (defvar yahtml-template-file "~/http/template.html"
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
186 "*Template HTML file. It'll be inserted to empty file.")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
187
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
188 ;;; --- customizable variable ends here ---
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
189 (defvar yahtml-prefix-map nil)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
190 (defvar yahtml-mode-map nil "Keymap used in yahtml-mode.")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
191 (defvar yahtml-lint-buffer-map nil "Keymap used in lint buffer.")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
192 (defvar yahtml-shell-command-option
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
193 (or (and (boundp 'shell-command-option) shell-command-option)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
194 (if (eq system-type 'ms-dos) "/c" "-c")))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
195
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
196
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
197 (defun yahtml-define-begend-key-normal (key env &optional map)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
198 "Define short cut yahtml-insert-begend key."
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
199 (YaTeX-define-key
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
200 key
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
201 (list 'lambda '(arg) '(interactive "P")
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
202 (list 'yahtml-insert-begend 'arg env))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
203 map))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
204
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
205 (defun yahtml-define-begend-region-key (key env &optional map)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
206 "Define short cut yahtml-insert-begend-region key."
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
207 (YaTeX-define-key key (list 'lambda nil '(interactive)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
208 (list 'yahtml-insert-begend t env)) map))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
209
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
210 (defun yahtml-define-begend-key (key env &optional map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
211 "Define short cut key for begin type completion both for
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
212 normal and region mode. To customize yahtml, user should use this function."
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
213 (yahtml-define-begend-key-normal key env map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
214 (if YaTeX-inhibit-prefix-letter nil
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
215 (yahtml-define-begend-region-key
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
216 (concat (upcase (substring key 0 1)) (substring key 1)) env map)))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
217
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
218
13
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents:
diff changeset
219 (if yahtml-mode-map nil
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
220 (setq yahtml-mode-map (make-sparse-keymap)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
221 yahtml-prefix-map (make-sparse-keymap))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
222 (define-key yahtml-mode-map yahtml-prefix yahtml-prefix-map)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
223 (define-key yahtml-mode-map "\M-\C-@" 'yahtml-mark-begend)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
224 (if (and (boundp 'window-system) (eq window-system 'x) YaTeX-emacs-19)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
225 (define-key yahtml-mode-map [?\M-\C- ] 'yahtml-mark-begend))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
226 (define-key yahtml-mode-map "\M-\C-a" 'YaTeX-beginning-of-environment)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
227 (define-key yahtml-mode-map "\M-\C-e" 'YaTeX-end-of-environment)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
228 (define-key yahtml-mode-map "\M-\C-m" 'yahtml-intelligent-newline)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
229 (define-key yahtml-mode-map "\C-i" 'yahtml-indent-line)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
230 (let ((map yahtml-prefix-map))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
231 (YaTeX-define-key "^" 'yahtml-visit-main map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
232 (YaTeX-define-key "4^" 'yahtml-visit-main-other-window map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
233 (YaTeX-define-key "4g" 'yahtml-goto-corresponding-*-other-window map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
234 (YaTeX-define-key "44" 'YaTeX-switch-to-window map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
235 (and YaTeX-emacs-19 window-system
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
236 (progn
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
237 (YaTeX-define-key "5^" 'yahtml-visit-main-other-frame map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
238 (YaTeX-define-key "5g" 'yahtml-goto-corresponding-*-other-frame map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
239 (YaTeX-define-key "55" 'YaTeX-switch-to-window map)))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
240 (YaTeX-define-key "v" 'YaTeX-version map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
241 (YaTeX-define-key "}" 'YaTeX-insert-braces-region map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
242 (YaTeX-define-key "]" 'YaTeX-insert-brackets-region map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
243 (YaTeX-define-key ")" 'YaTeX-insert-parens-region map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
244 (YaTeX-define-key "s" 'yahtml-insert-form map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
245 (YaTeX-define-key "l" 'yahtml-insert-tag map)
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
246 (YaTeX-define-key "L" 'yahtml-insert-tag-region map)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
247 (YaTeX-define-key "m" 'yahtml-insert-single map)
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
248 (YaTeX-define-key "n" '(lambda () (interactive) (insert (if yahtml-prefer-upcases "<BR>" "<br>"))) map)
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
249 (YaTeX-define-key "-" '(lambda () (interactive) (insert (if yahtml-prefer-upcases "<HR>" "<hr>") "\n")) map)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
250 (YaTeX-define-key "p" 'yahtml-insert-p map)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
251 (if YaTeX-no-begend-shortcut
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
252 (progn
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
253 (YaTeX-define-key "B" 'yahtml-insert-begend-region map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
254 (YaTeX-define-key "b" 'yahtml-insert-begend map))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
255 (yahtml-define-begend-key "bh" "html" map)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
256 (yahtml-define-begend-key "bH" "head" map)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
257 (yahtml-define-begend-key "bt" "title" map)
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
258 (yahtml-define-begend-key "bT" "table" map)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
259 (yahtml-define-begend-key "bb" "body" map)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
260 (yahtml-define-begend-key "bc" "center" map)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
261 (yahtml-define-begend-key "bd" "dl" map)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
262 (yahtml-define-begend-key "bu" "ul" map)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
263 (yahtml-define-begend-key "b1" "h1" map)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
264 (yahtml-define-begend-key "b2" "h2" map)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
265 (yahtml-define-begend-key "b3" "h3" map)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
266 (yahtml-define-begend-key "ba" "a" map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
267 (yahtml-define-begend-key "bf" "form" map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
268 (yahtml-define-begend-key "bs" "select" map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
269 (YaTeX-define-key "b " 'yahtml-insert-begend map)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
270 (YaTeX-define-key "B " 'yahtml-insert-begend-region map)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
271 )
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
272 (YaTeX-define-key "e" 'YaTeX-end-environment map)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
273 (YaTeX-define-key ">" 'yahtml-comment-region map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
274 (YaTeX-define-key "<" 'yahtml-uncomment-region map)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
275 (YaTeX-define-key "g" 'yahtml-goto-corresponding-* map)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
276 (YaTeX-define-key "k" 'yahtml-kill-* map)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
277 (YaTeX-define-key "c" 'yahtml-change-* map)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
278 (YaTeX-define-key "t" 'yahtml-browse-menu map)
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
279 (YaTeX-define-key "a" 'yahtml-complete-mark map)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
280 (YaTeX-define-key "'" 'yahtml-prev-error map)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
281 ;;;;;(YaTeX-define-key "i" 'yahtml-fill-item map)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
282 ))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
283
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
284 (if yahtml-lint-buffer-map nil
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
285 (setq yahtml-lint-buffer-map (make-keymap))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
286 (define-key yahtml-lint-buffer-map " " 'yahtml-jump-to-error-line))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
287
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
288
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
289 (defvar yahtml-paragraph-start
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
290 (concat
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
291 "^$\\|<!--\\|^[ \t]*</?\\(h[1-6]\\|p\\|d[ldt]\\|[bhtd][rdh]\\|li\\|body\\|html\\|head\\|title\\|ul\\|ol\\|dl\\|pre\\|table\\|center\\|blockquote\\)\\b")
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
292 "*Regexp of html paragraph separater")
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
293 (defvar yahtml-paragraph-separate
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
294 (concat
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
295 "^$\\|<!--\\|^[ \t]*</?\\(h[1-6]\\|p\\|[bhtd][ldt]\\|li\\|body\\|html\\|head\\|title\\|ul\\|ol\\|dl\\|pre\\|table\\|center\\|blockquote\\|!--\\)\\b")
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
296 "*Regexp of html paragraph separater")
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
297 (defvar yahtml-syntax-table nil
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
298 "*Syntax table for yahtml-mode")
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
299
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
300 (if yahtml-syntax-table nil
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
301 (setq yahtml-syntax-table
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
302 (make-syntax-table (standard-syntax-table)))
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
303 (modify-syntax-entry ?\< "(>" yahtml-syntax-table)
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
304 (modify-syntax-entry ?\> ")<" yahtml-syntax-table)
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
305 (modify-syntax-entry ?\n " " yahtml-syntax-table)
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
306 )
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
307 (defvar yahtml-command-regexp "[A-Za-z0-9]+"
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
308 "Regexp of constituent of html commands.")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
309
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
310 ;;; Completion tables for `form'
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
311 (defvar yahtml-form-table
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
312 '(("img") ("input")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
313 (defvar yahtml-user-form-table nil)
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
314 (defvar yahtml-tmp-form-table nil)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
315 (defvar yahtml-last-form "img")
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
316
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
317 (defvar yahtml-env-table
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
318 '(("html") ("head") ("title") ("body") ("dl") ("ul") ("ol") ("pre")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
319 ("a") ("form") ("select") ("center") ("textarea") ("blockquote")
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
320 ("OrderedList" . "ol")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
321 ("UnorderedList" . "ul")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
322 ("DefinitionList" . "dl")
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
323 ("Preformatted" . "pre")
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
324 ("table") ("tr") ("th") ("td")
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
325 ("h1") ("h2") ("h3") ("h4") ("h5") ("h6")
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
326 ;; ("p") ;This makes indentation screwed up!
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
327 ))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
328
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
329 (defvar yahtml-itemizing-regexp
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
330 "\\(ul\\|ul\\|dl\\)"
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
331 "Regexp of itemizing forms")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
332
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
333 (defvar yahtml-user-env-table nil)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
334 (defvar yahtml-tmp-env-table nil)
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
335
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
336 ;;; Completion tables for typeface designator
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
337 (and yahtml-always-/p
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
338 (or (assoc "p" yahtml-env-table)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
339 (setq yahtml-env-table (cons '("p") yahtml-env-table))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
340
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
341 (defvar yahtml-typeface-table
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
342 (append
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
343 '(("dfn") ("em") ("cite") ("code") ("kbd") ("samp")
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
344 ("strong") ("var") ("b") ("i") ("tt") ("u") ("address") ("font"))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
345 yahtml-env-table)
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
346 "Default completion table of typeface designator")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
347 (defvar yahtml-user-typeface-table nil)
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
348 (defvar yahtml-tmp-typeface-table nil)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
349 (defvar yahtml-last-typeface-cmd "a")
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
350
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
351 (defvar yahtml-single-cmd-table
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
352 '(("hr") ("br") ("option") ("p")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
353 ("HorizontalLine" . "hr")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
354 ("BreakLine" . "br")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
355 ("Paragraph" . "p")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
356 ("Item" . "li")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
357 ("DefineTerm" . "dt")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
358 ("Description" . "dd")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
359 ("dd") ("dt") ("li")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
360 )
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
361 "Default completion table of HTML single command.")
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
362 (defvar yahtml-user-single-cmd-table nil)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
363 (defvar yahtml-tmp-single-cmd-table nil)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
364 (defvar yahtml-last-single-cmd nil)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
365
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
366 (defvar yahtml-prefer-upcases nil)
13
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents:
diff changeset
367
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
368 ;(defvar yahtml-struct-name-regexp
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
369 ; "\\<\\(h[1-6]\\|[uod]l\\|html\\|body\\|title\\|head\\|table\\|t[rhd]\\|pre\\|a\\|form\\|select\\|center\\|blockquote\\)\\b")
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
370 (defvar yahtml-struct-name-regexp
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
371 (concat
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
372 "\\<\\("
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
373 (mapconcat (function (lambda (x) (car x))) yahtml-typeface-table "\\|")
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
374 "\\)\\b")
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
375 "Regexp of structure beginning.")
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
376 (or (assoc "p" yahtml-env-table)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
377 (setq yahtml-env-table (cons '("p") yahtml-env-table)))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
378
13
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents:
diff changeset
379 (defun yahtml-mode ()
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents:
diff changeset
380 (interactive)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
381 (cond
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
382 ((and YaTeX-emacs-20 (fboundp 'coding-system-equal))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
383 (if t (or (coding-system-equal
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
384 yahtml-coding-system buffer-file-coding-system)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
385 (set-buffer-file-coding-system yahtml-coding-system))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
386 ;;^v which is better?
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
387 (let ((bmp (buffer-modified-p)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
388 (set-buffer-file-coding-system yahtml-coding-system)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
389 (set-buffer-modified-p bmp))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
390 ((featurep 'mule)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
391 (set-file-coding-system yahtml-coding-system))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
392 ((boundp 'NEMACS)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
393 (make-local-variable 'kanji-fileio-code)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
394 (setq kanji-fileio-code yahtml-kanji-code)))
13
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents:
diff changeset
395 (setq major-mode 'yahtml-mode
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents:
diff changeset
396 mode-name "yahtml")
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
397 (mapcar
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
398 (function (lambda (x)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
399 (make-local-variable (car x))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
400 (set (car x) (if (and (symbolp (cdr x))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
401 (boundp (cdr x)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
402 (symbol-value (cdr x))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
403 (cdr x)))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
404 '((YaTeX-ec . "")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
405 (YaTeX-struct-begin . "<%1%2")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
406 (YaTeX-struct-end . "</%1>")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
407 (YaTeX-struct-name-regexp . yahtml-struct-name-regexp)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
408 (YaTeX-comment-prefix . "<!--")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
409 (YaTeX-coding-system . yahtml-coding-system)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
410 (YaTeX-typesetting-mode-map . yahtml-lint-buffer-map)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
411 (fill-prefix . yahtml-fill-prefix) (fill-column . yahtml-fill-column)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
412 (paragraph-start . yahtml-paragraph-start)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
413 (paragraph-separate . yahtml-paragraph-separate)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
414 (comment-start . "<!-- ") (comment-end . " -->")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
415 (comment-start-skip . comment-start)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
416 (indent-line-function . yahtml-indent-line)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
417
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
418 (set-syntax-table yahtml-syntax-table)
13
eafae54794a0 Show message at comment-region on begin/end mode.
yuuji
parents:
diff changeset
419 (use-local-map yahtml-mode-map)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
420 (YaTeX-read-user-completion-table)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
421 (turn-on-auto-fill) ;Sorry, this is prerequisite
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
422 (and (= 0 (buffer-size)) (file-exists-p yahtml-template-file)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
423 (y-or-n-p (format "Insert %s?" yahtml-template-file))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
424 (insert-file-contents (expand-file-name yahtml-template-file)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
425 (run-hooks 'text-mode-hook 'yahtml-mode-hook))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
426
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
427 (defun yahtml-define-menu (keymap bindlist)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
428 (cond
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
429 ((featurep 'xemacs)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
430 (let ((name (keymap-name (symbol-value keymap))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
431 (set keymap nil)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
432 (mapcar
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
433 (function
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
434 (lambda (bind)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
435 (setq bind (cdr bind))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
436 (if (eq (car (cdr bind)) 'lambda)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
437 (setcar (cdr bind) 'progn))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
438 (if (stringp (car (cdr bind)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
439 (set keymap (cons (cdr bind) (symbol-value keymap)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
440 (set keymap (cons (vector (car bind) (cdr bind) t)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
441 (symbol-value keymap))))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
442 bindlist)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
443 (set keymap (cons name (symbol-value keymap)))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
444 (t
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
445 (mapcar
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
446 (function
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
447 (lambda (bind)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
448 (define-key (symbol-value keymap) (vector (car bind)) (cdr bind))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
449 bindlist))))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
450
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
451 (defvar yahtml-menu-map nil "Menu map of yahtml")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
452 (defvar yahtml-menu-map-sectioning nil "Menu map of yahtml(sectioning)")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
453 (defvar yahtml-menu-map-listing nil "Menu map of yahtml(listing)")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
454 (defvar yahtml-menu-map-logical nil "Menu map of yahtml(logical tags)")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
455 (defvar yahtml-menu-map-typeface nil "Menu map of yahtml(typeface tags)")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
456
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
457 ;;; Variables for mosaic url history
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
458 (defvar yahtml-urls nil "Alist of global history")
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
459 (defvar yahtml-urls-private nil)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
460 (defvar yahtml-urls-local nil)
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
461
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
462 (cond
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
463 ((and YaTeX-emacs-19 (null yahtml-menu-map))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
464 (setq yahtml-menu-map (make-sparse-keymap "yahtml"))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
465 (setq yahtml-menu-map-sectioning (make-sparse-keymap "sectioning menu"))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
466 (YaTeX-define-menu
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
467 'yahtml-menu-map-sectioning
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
468 (nreverse
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
469 '((1 "H1" . (lambda () (interactive) (yahtml-insert-begend nil "H1")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
470 (2 "H2" . (lambda () (interactive) (yahtml-insert-begend nil "H2")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
471 (3 "H3" . (lambda () (interactive) (yahtml-insert-begend nil "H3")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
472 (4 "H4" . (lambda () (interactive) (yahtml-insert-begend nil "H4")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
473 (5 "H5" . (lambda () (interactive) (yahtml-insert-begend nil "H5")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
474 (6 "H6" . (lambda () (interactive) (yahtml-insert-begend nil "H6")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
475 )))
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
476 (setq yahtml-menu-map-logical (make-sparse-keymap "logical tags"))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
477 (YaTeX-define-menu
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
478 'yahtml-menu-map-logical
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
479 (nreverse
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
480 '((em "Embolden" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
481 (lambda () (interactive) (yahtml-insert-tag nil "EM")))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
482 (dfn "Define a word" .
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
483 (lambda () (interactive) (yahtml-insert-tag nil "DFN")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
484 (cite "Citation" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
485 (lambda () (interactive) (yahtml-insert-tag nil "CITE")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
486 (code "Code" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
487 (lambda () (interactive) (yahtml-insert-tag nil "CODE")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
488 (kbd "Keyboard" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
489 (lambda () (interactive) (yahtml-insert-tag nil "KBD")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
490 (samp "Sample display" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
491 (lambda () (interactive) (yahtml-insert-tag nil "SAMP")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
492 (strong "Strong" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
493 (lambda () (interactive) (yahtml-insert-tag nil "STRONG")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
494 (VAR "Variable notation" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
495 (lambda () (interactive) (yahtml-insert-tag nil "VAR")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
496 )))
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
497 (setq yahtml-menu-map-typeface (make-sparse-keymap "typeface tags"))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
498 (YaTeX-define-menu
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
499 'yahtml-menu-map-typeface
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
500 (nreverse
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
501 '((b "Bold" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
502 (lambda () (interactive) (yahtml-insert-tag nil "B")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
503 (i "Italic" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
504 (lambda () (interactive) (yahtml-insert-tag nil "I")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
505 (tt "Typewriter" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
506 (lambda () (interactive) (yahtml-insert-tag nil "TT")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
507 (u "Underlined" .
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
508 (lambda () (interactive) (yahtml-insert-tag nil "U")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
509 )))
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
510 (setq yahtml-menu-map-listing (make-sparse-keymap "listing"))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
511 (YaTeX-define-menu
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
512 'yahtml-menu-map-listing
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
513 (nreverse
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
514 '((ul "Unordered" .
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
515 (lambda () (interactive) (yahtml-insert-begend nil "UL")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
516 (ol "Ordered" .
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
517 (lambda () (interactive) (yahtml-insert-begend nil "OL")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
518 (dl "Definition" .
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
519 (lambda () (interactive) (yahtml-insert-begend nil "DL")))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
520 )))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
521 (setq yahtml-menu-map-item (make-sparse-keymap "item"))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
522 (YaTeX-define-menu
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
523 'yahtml-menu-map-item
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
524 (nreverse
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
525 '((li "Simple item" .
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
526 (lambda () (interactive) (yahtml-insert-single "li")))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
527 (dt "Define term" .
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
528 (lambda () (interactive) (yahtml-insert-single "dt")))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
529 (dd "Description of term" .
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
530 (lambda () (interactive) (yahtml-insert-single "dd")))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
531 )))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
532 (define-key yahtml-mode-map [menu-bar yahtml]
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
533 (cons "yahtml" yahtml-menu-map))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
534 (let ((keys (where-is-internal 'fill-paragraph global-map)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
535 (while keys
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
536 (define-key yahtml-mode-map (car keys) 'yahtml-fill-paragraph)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
537 (setq keys (cdr keys))))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
538 (YaTeX-define-menu
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
539 'yahtml-menu-map
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
540 (nreverse
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
541 (list
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
542 (cons (list 'sect "Sectioning")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
543 (cons "sectioning" yahtml-menu-map-sectioning))
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
544 (cons (list 'list "Listing")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
545 (cons "Listing" yahtml-menu-map-listing))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
546 (cons (list 'item "Item")
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
547 (cons "Itemizing" yahtml-menu-map-item));;;
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
548 (cons (list 'logi "Logical tags")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
549 (cons "logical" yahtml-menu-map-logical))
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
550 (cons (list 'type "Typeface tags")
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
551 (cons "typeface" yahtml-menu-map-typeface))
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
552 )))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
553 (if (featurep 'xemacs)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
554 (add-hook 'yahtml-mode-hook
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
555 '(lambda ()
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
556 (or (assoc "yahtml" current-menubar)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
557 (progn
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
558 (set-buffer-menubar (copy-sequence current-menubar))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
559 (add-submenu nil yahtml-menu-map))))))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
560 ))
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
561
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
562 ;;; ----------- Completion ----------
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
563 (defvar yahtml-last-begend "html")
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
564 (defun yahtml-insert-begend (&optional region env)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
565 "Insert <cmd> ... </cmd>."
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
566 (interactive "P")
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
567 (let*((completion-ignore-case t)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
568 (cmd
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
569 (or env
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
570 (YaTeX-cplread-with-learning
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
571 (format "Environment(default %s): " yahtml-last-begend)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
572 'yahtml-env-table 'yahtml-user-env-table 'yahtml-tmp-env-table)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
573 (bolp (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
574 (skip-chars-backward " \t" (point-beginning-of-line)) (bolp)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
575 (cc (current-column)))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
576 (if (string< "" cmd) (setq yahtml-last-begend cmd))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
577 (setq yahtml-last-begend
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
578 (or (cdr (assoc yahtml-last-begend yahtml-env-table))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
579 yahtml-last-begend))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
580 (setq cmd yahtml-last-begend)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
581 (if yahtml-prefer-upcases (setq cmd (upcase cmd)))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
582 (if region
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
583 (let ((beg (region-beginning))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
584 (end (region-end))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
585 (addin (yahtml-addin cmd)))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
586 (goto-char end)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
587 (insert (format "</%s>%s" cmd (if bolp "\n" "")))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
588 (goto-char beg)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
589 (insert (format "<%s%s>%s" cmd addin (if bolp "\n" ""))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
590 (insert (format "<%s%s>" cmd (yahtml-addin cmd)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
591 (save-excursion
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
592 (insert "\n")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
593 (indent-to-column cc)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
594 (insert (format "</%s>" cmd)))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
595 (if (string-match "^a\\|p$" cmd) ;aとp決め打ちってのが美しくない…
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
596 (newline)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
597 (yahtml-intelligent-newline nil))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
598 (yahtml-indent-line))))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
599
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
600 (defun yahtml-insert-begend-region ()
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
601 "Call yahtml-insert-begend in the region mode."
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
602 (interactive)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
603 (yahtml-insert-begend t))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
604
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
605
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
606 (defun yahtml-insert-form (&optional form)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
607 "Insert <FORM option=\"argument\">."
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
608 (interactive)
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
609 (or form
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
610 (let ((completion-ignore-case t))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
611 (setq form
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
612 (YaTeX-cplread-with-learning
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
613 (format "Form(default %s): " yahtml-last-form)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
614 'yahtml-form-table 'yahtml-user-form-table
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
615 'yahtml-tmp-form-table))))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
616 (let ((p (point)) q)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
617 (if (string= form "") (setq form yahtml-last-form))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
618 (setq yahtml-last-form form)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
619 (if yahtml-prefer-upcases (setq form (upcase form)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
620 (insert (format "<%s%s>" form (yahtml-addin form)))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
621 ;;(indent-relative-maybe)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
622 (if (cdr (assoc form yahtml-form-table))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
623 (save-excursion (insert (format "</%s>" form))))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
624 (if (search-backward "\"\"" p t) (forward-char 1))))
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
625
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
626 ;;; ---------- Add-in ----------
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
627 (defun yahtml-addin (form)
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
628 "Check add-in function's existence and call it if exists."
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
629 (let ((addin (concat "yahtml:" (downcase form))) s)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
630 (if (and (intern-soft addin) (fboundp (intern-soft addin))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
631 (stringp (setq s (funcall (intern addin))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
632 (string< "" s))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
633 (if (eq (aref s 0) ? ) s (concat " " s))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
634 "")))
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
635
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
636
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
637 (defvar yahtml-completing-buffer nil)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
638 (defun yahtml-collect-labels (&optional file)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
639 "Collect current buffers label (<a name=...>).
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
640 If optional argument FILE is specified collect labels in FILE."
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
641 (let (list bound)
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
642 (save-excursion
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
643 (set-buffer yahtml-completing-buffer)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
644 (if file (let (hilit-auto-highlight)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
645 (set-buffer (find-file-noselect file))))
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
646 (save-excursion
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
647 (goto-char (point-min))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
648 (while (re-search-forward "<a\\b" nil t)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
649 (setq bound (match-end 0))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
650 (search-forward ">" nil t)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
651 (if (and (re-search-backward "\\(name\\|id\\)=" bound t)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
652 (progn
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
653 (goto-char (match-end 0))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
654 (skip-chars-forward " \t\n")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
655 (looking-at "\"?#?\\([^\">]+\\)\"?\\b")))
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
656 (setq list (cons
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
657 (list (concat "#" (YaTeX-match-string 1)))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
658 list))))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
659 list)))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
660 )
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
661
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
662 (defvar yahtml-url-completion-map nil "Key map used in URL completion buffer")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
663 (if yahtml-url-completion-map nil
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
664 (setq yahtml-url-completion-map
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
665 (copy-keymap minibuffer-local-completion-map))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
666 (define-key yahtml-url-completion-map "\t" 'yahtml-complete-url)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
667 (define-key yahtml-url-completion-map " " 'yahtml-complete-url)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
668 )
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
669
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
670 (defun yahtml-complete-url ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
671 "Complete external URL from history or local file name."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
672 (interactive)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
673 (let ((p (point)) initial i2 cmpl path dir file listfunc beg labels)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
674 (setq initial (buffer-string))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
675 (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
676 ((string-match "^http:" initial)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
677 (setq cmpl (try-completion initial yahtml-urls)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
678 listfunc (list 'lambda nil
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
679 (list 'all-completions initial 'yahtml-urls))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
680 beg (point-min)))
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
681 ((setq beg (string-match "#" initial))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
682 (or (equal beg 0) ;begin with #
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
683 (progn
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
684 (setq path (substring initial 0 beg))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
685 (if (string-match "^/" path)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
686 (setq path (yahtml-url-to-path path)))))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
687 (setq initial (substring initial beg))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
688 (setq labels (yahtml-collect-labels path)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
689 cmpl (try-completion initial labels)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
690 listfunc (list 'lambda ()
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
691 (list 'all-completions
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
692 initial (list 'quote labels)))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
693 beg (+ (point-min) beg)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
694 (t
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
695 (setq path (if (string-match "^/" initial)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
696 (or (yahtml-url-to-path initial) initial)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
697 initial))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
698 (setq dir (or (file-name-directory path) ".")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
699 file (file-name-nondirectory path)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
700 initial file
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
701 cmpl (file-name-completion file dir)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
702 listfunc (list 'lambda nil
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
703 (list 'file-name-all-completions
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
704 file dir))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
705 beg (save-excursion (skip-chars-backward "^/") (point)))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
706 (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
707 ((stringp cmpl)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
708 (if (string= initial cmpl)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
709 (with-output-to-temp-buffer "*Completions*"
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
710 (princ "Possible completinos are:\n")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
711 (princ
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
712 (mapconcat '(lambda (x) x) (funcall listfunc) "\n")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
713 (delete-region (point) beg)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
714 (insert cmpl)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
715 ((null cmpl)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
716 (ding))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
717 ((eq t cmpl)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
718 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
719 (unwind-protect
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
720 (progn
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
721 (goto-char p)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
722 (insert " [Sole completion]"))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
723 (delete-region p (point-max))))))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
724
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
725 (defun yahtml:a ()
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
726 "Add-in function for <a>"
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
727 (let ((href ""))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
728 (setq yahtml-completing-buffer (current-buffer)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
729 href (read-from-minibuffer "href: " "" yahtml-url-completion-map)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
730 ;; yahtml-urls-local is buffer-local, so we must put
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
731 ;; that into yahtml-urls here
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
732 yahtml-urls (append yahtml-urls-private yahtml-urls-local))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
733 (prog1
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
734 (concat (yahtml-make-optional-argument
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
735 "href" href)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
736 (yahtml-make-optional-argument
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
737 "name" (read-string "name: ")))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
738 (if (and (string-match "^http://" href)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
739 (null (assoc href yahtml-urls)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
740 (YaTeX-update-table
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
741 (list href)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
742 'yahtml-urls-private 'yahtml-urls-private 'yahtml-urls-local))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
743 )))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
744
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
745 (defvar yahtml-parameters-completion-alist
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
746 '(("align" ("top") ("middle") ("bottom") ("left") ("right") ("center"))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
747 ("src" . file)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
748 ("method" ("POST") ("GET"))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
749
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
750 (defun yahtml-read-parameter (par)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
751 (let* ((alist (cdr-safe (assoc (downcase par)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
752 yahtml-parameters-completion-alist)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
753 (prompt (concat par ": "))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
754 v)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
755 (cond
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
756 ((eq alist 'file)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
757 (read-file-name prompt "" nil nil ""))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
758 (alist
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
759 (completing-read prompt alist))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
760 (t
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
761 (read-string prompt)))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
762
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
763 (defun yahtml-make-optional-argument (opt arg)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
764 "Make optional argument string."
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
765 (if (string= "" arg)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
766 ""
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
767 (concat " " (if yahtml-prefer-upcases (upcase opt) (downcase opt))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
768 "=\"" arg "\"")))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
769
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
770 (defun yahtml:body ()
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
771 "Add-in function for <body>"
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
772 (let ((b (read-string "bgcolor="))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
773 (x (read-string "text color="))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
774 (l (read-string "link color="))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
775 (v (read-string "vlink color=")))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
776 (concat
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
777 (yahtml-make-optional-argument "bgcolor" b)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
778 (yahtml-make-optional-argument "text" x)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
779 (yahtml-make-optional-argument "link" l)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
780 (yahtml-make-optional-argument "vlink" v))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
781
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
782
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
783 (defun yahtml:img ()
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
784 "Add-in function for <img>"
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
785 (let ((src (yahtml-read-parameter "src"))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
786 (alg (yahtml-read-parameter "align"))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
787 (alt (yahtml-read-parameter "alt"))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
788 (brd (read-string "border="))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
789 (l yahtml-prefer-upcases))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
790 (concat (if l "SRC" "src") "=\"" src "\""
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
791 (yahtml-make-optional-argument "align" alg)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
792 (yahtml-make-optional-argument "alt" alt)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
793 (yahtml-make-optional-argument "border" brd))))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
794
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
795 (defun yahtml:form ()
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
796 "Add-in function `form' input format"
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
797 (concat
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
798 " " (if yahtml-prefer-upcases "METHOD" "method=")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
799 (completing-read "Method: " '(("POST") ("GET")) nil t)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
800 " " (if yahtml-prefer-upcases "ACTION" "action") "=\""
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
801 (read-string "Action: ") "\""
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
802 ))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
803
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
804 (defun yahtml:select ()
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
805 "Add-in function for `select' input format"
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
806 (setq yahtml-last-single-cmd "option")
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
807 (concat " " (if yahtml-prefer-upcases "NAME" "name") "=\""
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
808 (read-string "name: ") "\""))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
809
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
810 (defun yahtml:ol ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
811 (setq yahtml-last-single-cmd "li") "")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
812 (defun yahtml:ul ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
813 (setq yahtml-last-single-cmd "li") "")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
814 (defun yahtml:dl ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
815 (setq yahtml-last-single-cmd "dt") "")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
816 (defun yahtml:dt ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
817 (setq yahtml-last-single-cmd "dd") "")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
818
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
819 (defun yahtml:p ()
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
820 (let ((alg (yahtml-read-parameter "align")))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
821 (yahtml-make-optional-argument "align" alg)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
822 ))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
823
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
824 (defvar yahtml-input-types
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
825 '(("text") ("password") ("checkbox") ("radio") ("submit")
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
826 ("reset") ("image") ("hidden") ("file")))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
827
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
828 (defun yahtml:input ()
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
829 "Add-in function for `input' form"
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
830 (let ((size "") name type value checked (maxlength "")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
831 (l yahtml-prefer-upcases))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
832 (setq name (read-string "name: ")
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
833 type (completing-read "type (default=text): "
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
834 yahtml-input-types nil t)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
835 value (read-string "value: "))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
836 (if (string-match "text\\|password\\|^$" type)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
837 (setq size (read-string "size: ")
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
838 maxlength (read-string "maxlength: ")))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
839 (concat
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
840 (if l "NAME" "name") "=\"" name "\""
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
841 (yahtml-make-optional-argument "type" type)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
842 (yahtml-make-optional-argument "value" value)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
843 (yahtml-make-optional-argument "size" size)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
844 (yahtml-make-optional-argument "maxlength" maxlength)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
845 )))
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
846
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
847 (defun yahtml:textarea ()
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
848 "Add-in function for `textarea'"
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
849 (interactive)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
850 (let (name rows cols)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
851 (setq name (read-string "Name: ")
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
852 cols (read-string "Columns: ")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
853 rows (read-string "Rows: "))
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
854 (concat
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
855 (concat (if yahtml-prefer-upcases "NAME=" "name=")
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
856 "\"" name "\"")
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
857 (yahtml-make-optional-argument "cols" cols)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
858 (yahtml-make-optional-argument "rows" rows))))
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
859
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
860 (defun yahtml:table ()
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
861 "Add-in function for `table'"
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
862 (yahtml-make-optional-argument "border" (read-string "border=")))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
863
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
864 (defun yahtml:font ()
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
865 "Add-in function for `font'"
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
866 (yahtml-make-optional-argument "color" (read-string "color=")))
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
867
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
868 ;;; ---------- Simple tag ----------
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
869 (defun yahtml-insert-tag (region-mode &optional tag)
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
870 "Insert <TAG> </TAG> and put cursor inside of them."
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
871 (interactive "P")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
872 (or tag
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
873 (let ((completion-ignore-case t))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
874 (setq tag
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
875 (YaTeX-cplread-with-learning
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
876 (format "Tag %s(default %s): "
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
877 (if region-mode "region: " "") yahtml-last-typeface-cmd)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
878 'yahtml-typeface-table 'yahtml-user-typeface-table
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
879 'yahtml-tmp-typeface-table))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
880 (if (string= "" tag) (setq tag yahtml-last-typeface-cmd))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
881 (setq tag (or (cdr (assoc tag yahtml-typeface-table)) tag))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
882 (setq yahtml-last-typeface-cmd tag
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
883 tag (funcall (if yahtml-prefer-upcases 'upcase 'downcase) tag))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
884 (if region-mode
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
885 (if (if (string< "19" emacs-version) (mark t) (mark))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
886 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
887 (if (> (point) (mark)) (exchange-point-and-mark))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
888 (insert (format "<%s%s>" tag (yahtml-addin tag)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
889 (exchange-point-and-mark)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
890 (insert "</" tag ">"))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
891 (message "No mark set now"))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
892 (insert (format "<%s%s>" tag (yahtml-addin tag)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
893 (save-excursion (insert (format "</%s>" tag)))))
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
894
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
895 (defun yahtml-insert-tag-region (&optional tag)
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
896 "Call yahtml-insert-tag with region mode."
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
897 (interactive)
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
898 (yahtml-insert-tag t tag))
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
899
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
900
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
901 (defun yahtml-insert-single (cmd)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
902 "Insert <CMD>."
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
903 (interactive
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
904 (list
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
905 (let ((completion-ignore-case t))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
906 (YaTeX-cplread-with-learning
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
907 (format "Command%s: "
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
908 (if yahtml-last-single-cmd
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
909 (concat "(default " yahtml-last-single-cmd ")") ""))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
910 'yahtml-single-cmd-table 'yahtml-user-single-cmd-table
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
911 'yahtml-tmp-single-cmd-table))))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
912 (if (string= "" cmd) (setq cmd yahtml-last-single-cmd))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
913 (setq yahtml-last-single-cmd
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
914 (or (cdr (assoc cmd yahtml-single-cmd-table)) cmd))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
915 (setq cmd (funcall (if yahtml-prefer-upcases 'upcase 'downcase)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
916 yahtml-last-single-cmd))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
917 (insert (format "<%s>" cmd)))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
918
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
919 (defun yahtml-insert-p (&optional arg)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
920 "Convenient function to insert <p></p>"
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
921 (interactive "P")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
922 (if arg (yahtml-insert-tag nil "p")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
923 (insert "<p>")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
924 (save-excursion
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
925 (insert "</p>"))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
926
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
927 ;;; ---------- Jump ----------
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
928 (defun yahtml-on-href-p ()
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
929 "Check if point is on href clause."
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
930 (let ((p (point)) e cmd (case-fold-search t))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
931 (save-excursion
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
932 (and (string= (YaTeX-inner-environment t) "a")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
933 (save-excursion
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
934 (search-forward "</a>" nil t)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
935 (setq e (point)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
936 (goto-char (get 'YaTeX-inner-environment 'point))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
937 (search-forward "href" e t)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
938 (search-forward "=" e t)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
939 (progn
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
940 (skip-chars-forward " \t\n")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
941 (looking-at "\"?\\([^\"> \t\n]+\\)\"?"))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
942 (< p (match-end 0))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
943 (YaTeX-match-string 1)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
944 ))))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
945
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
946 (defun yahtml-netscape-sentinel (proc mes)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
947 (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
948 ((null (buffer-name (process-buffer proc)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
949 (set-process-buffer proc nil))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
950 ((eq (process-status proc) 'exit)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
951 (let ((cb (current-buffer)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
952 (set-buffer (process-buffer proc))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
953 (goto-char (point-min))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
954 (if (search-forward "not running" nil t)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
955 (progn
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
956 (message "Starting netscape...")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
957 (start-process
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
958 "browser" (process-buffer proc)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
959 shell-file-name yahtml-shell-command-option
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
960 (format "%s \"%s\"" yahtml-www-browser
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
961 (get 'yahtml-netscape-sentinel 'url)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
962 (message "Starting netscape...Done")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
963 (set-buffer cb)))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
964
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
965 (defvar yahtml-browser-process nil)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
966
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
967 (defun yahtml-browse-html (href)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
968 "Call WWW Browser to see HREF."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
969 (let ((pb "* WWW Browser *") (cb (current-buffer)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
970 (cond
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
971 ((string-match "^start\\>" yahtml-www-browser)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
972 (if (get-buffer pb)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
973 (progn (set-buffer pb) (erase-buffer) (set-buffer cb)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
974 (put 'yahtml-netscape-sentinel 'url href)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
975 (set-process-sentinel
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
976 (setq yahtml-browser-process
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
977 (start-process
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
978 "browser" pb shell-file-name yahtml-shell-command-option
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
979 (format "%s \"%s\"" yahtml-www-browser href)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
980 'yahtml-netscape-sentinel))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
981 ((and (string-match "[Nn]etscape" yahtml-www-browser)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
982 (not (eq system-type 'windows-nt)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
983 (if (get-buffer pb)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
984 (progn (set-buffer pb) (erase-buffer) (set-buffer cb)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
985 (put 'yahtml-netscape-sentinel 'url href)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
986 (set-process-sentinel
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
987 (setq yahtml-browser-process
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
988 (start-process
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
989 "browser" pb shell-file-name yahtml-shell-command-option ;"-c"
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
990 (format "%s -remote \"openURL(%s)\"" yahtml-www-browser href)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
991 'yahtml-netscape-sentinel))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
992 ((and (string= "w3" yahtml-www-browser) (fboundp 'w3-fetch))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
993 (w3-fetch href))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
994 ((stringp yahtml-www-browser)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
995 (if (and yahtml-browser-process
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
996 (eq (process-status yahtml-browser-process) 'run))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
997 (message "%s is already running" yahtml-www-browser)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
998 (setq yahtml-browser-process
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
999 (start-process
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1000 "browser" "* WWW Browser *"
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1001 shell-file-name yahtml-shell-command-option
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1002 (format "%s \"%s\"" yahtml-www-browser href)))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1003 (t
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1004 (message "Sorry, jump across http is not supported.")))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1005
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1006 (defun yahtml-goto-corresponding-href (&optional other)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1007 "Go to corresponding name."
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1008 (let ((href (yahtml-on-href-p)) file name (parent buffer-file-name))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1009 (if href
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1010 (cond
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1011 ((string-match "^\\(ht\\|f\\)tp:" href)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1012 (yahtml-browse-html href))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1013 (t (setq file (substring href 0 (string-match "#" href)))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1014 (if (string-match "#" href)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1015 (setq name (substring href (1+ (string-match "#" href)))))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1016 (if (string< "" file)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1017 (progn
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1018 (if (string-match "/$" file)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1019 (setq file (concat file yahtml-directory-index)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1020 (if (string-match "^/" file)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1021 (setq file (yahtml-url-to-path file)))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1022 (if other (YaTeX-switch-to-buffer-other-window file)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1023 (YaTeX-switch-to-buffer file))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1024 (or YaTeX-parent-file (setq YaTeX-parent-file parent))))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1025 (if name
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1026 (progn (set-mark-command nil) (yahtml-jump-to-name name)))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1027 t)))))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1028
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1029 (defun yahtml-jump-to-name (name)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1030 "Jump to html's named tag."
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1031 (setq name (format "name\\s *=\\s *\"?%s\"?" name))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1032 (or (and (re-search-forward name nil t) (goto-char (match-beginning 0)))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1033 (and (re-search-backward name nil t) (goto-char (match-beginning 0)))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1034 (message "Named tag `%s' not found" (substring href 1))))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1035
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1036 (defun yahtml-on-begend-p (&optional p)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1037 "Check if point is on begend clause."
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1038 (let ((p (or p (point))) cmd (case-fold-search t))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1039 (save-excursion
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1040 (goto-char p)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1041 (if (equal (char-after (point)) ?<) (forward-char 1))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1042 (if (and (re-search-backward "<" nil t)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1043 (looking-at
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1044 (concat "<\\(/?" yahtml-struct-name-regexp "\\)\\b"))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1045 (condition-case nil
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1046 (forward-list 1)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1047 (error nil))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1048 (< p (point)))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1049 (YaTeX-match-string 1)))))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1050
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1051 (defun yahtml-goto-corresponding-begend (&optional noerr)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1052 "Go to corresponding opening/closing tag.
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1053 Optional argument NOERR causes no error for unballanced tag."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1054 (let ((cmd (yahtml-on-begend-p)) m0
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1055 (p (point)) (case-fold-search t) func str (nest 0))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1056 (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1057 (cmd
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1058 (setq m0 (match-beginning 0))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1059 (if (= (aref cmd 0) ?/) ;on </cmd> line
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1060 (setq cmd (substring cmd 1)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1061 str (format "\\(<%s\\)\\|\\(</%s\\)" cmd cmd)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1062 func 're-search-backward)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1063 (setq str (format "\\(</%s\\)\\|\\(<%s\\)" cmd cmd)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1064 func 're-search-forward))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1065 (while (and (>= nest 0) (funcall func str nil t))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1066 (if (equal m0 (match-beginning 0))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1067 nil
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1068 (setq nest (+ nest (if (match-beginning 1) -1 1)))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1069 (if (< nest 0)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1070 (goto-char (match-beginning 0))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1071 (funcall
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1072 (if noerr 'message 'error)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1073 "Corresponding tag of `%s' not found." cmd)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1074 (goto-char p)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1075 nil))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1076 (t nil))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1077
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1078 (defun yahtml-current-tag ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1079 "Return the current tag name."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1080 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1081 (let ((p (point)) b tag)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1082 (or (bobp)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1083 (looking-at "<")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1084 (progn (skip-chars-backward "^<") (forward-char -1)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1085 (setq b (point))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1086 (skip-chars-forward "<")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1087 (setq tag (buffer-substring
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1088 (point) (progn (skip-chars-forward "^ \t\n") (point))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1089 (goto-char b)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1090 (forward-list 1)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1091 (and (< p (point)) tag))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1092
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1093
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1094 (defun yahtml-goto-corresponding-img ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1095 "View image on point"
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1096 (let ((tag (yahtml-current-tag)) image (p (point)) (case-fold-search t))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1097 (if (and tag
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1098 (string-match "img" tag)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1099 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1100 (re-search-backward "<\\s *img" nil t)
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1101 (re-search-forward "src=\"?\\([^\"> ]+\\)\"?")
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1102 (match-beginning 1)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1103 (setq image
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1104 (buffer-substring (match-beginning 1) (match-end 1)))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1105 (progn
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1106 (message "Invoking %s %s..." yahtml-image-viewer image)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1107 (start-process
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1108 "Viewer" " * Image Viewer *"
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1109 shell-file-name yahtml-shell-command-option ;"-c"
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1110 (concat yahtml-image-viewer " " image))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1111 (message "Invoking %s %s...Done" yahtml-image-viewer image)))))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1112
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1113 (defun yahtml-goto-corresponding-* (&optional other)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1114 "Go to corresponding object."
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1115 (interactive)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1116 (cond
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1117 ((yahtml-goto-corresponding-href other))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1118 ((yahtml-goto-corresponding-img))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1119 ((yahtml-goto-corresponding-begend))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1120 (t (message "I don't know where to go."))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1121 ))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1122
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1123 (defun yahtml-goto-corresponding-*-other-window ()
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1124 "Go to corresponding object."
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1125 (interactive)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1126 (yahtml-goto-corresponding-* t))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1127
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1128 (defun yahtml-visit-main ()
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1129 "Go to parent file from where you visit current file."
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1130 (interactive)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1131 (if YaTeX-parent-file (YaTeX-switch-to-buffer YaTeX-parent-file)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1132
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1133 ;;; ---------- killing ----------
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1134 (defun yahtml-kill-begend (&optional whole)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1135 (let ((tag (yahtml-on-begend-p)) p q r)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1136 (if tag
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1137 (save-excursion
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1138 (or (looking-at "<")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1139 (progn (skip-chars-backward "^<") (forward-char -1)))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1140 (setq p (point))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1141 (yahtml-goto-corresponding-begend)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1142 (or (looking-at "<")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1143 (progn (skip-chars-backward "^<") (forward-char -1)))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1144 (if (< (point) p) ;if on the opening tag
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1145 (progn (setq q p p (point))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1146 (goto-char q))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1147 (setq q (point))) ;now q has end-line's (point)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1148 (if (not whole)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1149 (kill-region
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1150 (progn (skip-chars-backward " \t") (if (bolp) (point) q))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1151 (progn (forward-list 1)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1152 (setq r (point))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1153 (skip-chars-forward " \t")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1154 (if (and (eolp) (not (eobp))) (1+ (point)) r))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1155 (goto-char p)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1156 (skip-chars-backward " \t")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1157 (if (not whole)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1158 (progn
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1159 (kill-append
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1160 (buffer-substring
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1161 (setq p (if (bolp) (point) p))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1162 (setq q (progn
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1163 (forward-list 1)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1164 (setq r (point))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1165 (skip-chars-forward " \t")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1166 (if (and (eolp) (not (eobp))) (1+ (point)) r))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1167 t)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1168 (delete-region p q))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1169 (kill-region
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1170 (if (bolp) (point) p)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1171 (progn (goto-char q)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1172 (forward-list 1)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1173 (setq r (point))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1174 (skip-chars-forward " \t")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1175 (if (and (eolp) (not (eobp))) (1+ (point)) r))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1176 tag))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1177
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1178 (defun yahtml-kill-* (whole)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1179 "Kill current position's HTML tag (set)."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1180 (interactive "P")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1181 (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1182 ((yahtml-kill-begend whole))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1183 ))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1184
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1185
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1186 ;;; ---------- changing ----------
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1187 (defun yahtml-on-assignment-p ()
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1188 "Return if current point is on parameter assignment.
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1189 If so, return parameter name, otherwise nil.
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1190 This function should be able to treat white spaces in value, but not yet."
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1191 (let ((p (point)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1192 (save-excursion
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1193 (put 'yahtml-on-assignment-p 'region nil)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1194 (skip-chars-backward "^ \t")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1195 (and (looking-at "\\([A-Za-z0-9]+\\)\\s *=\\s *\"?\\([^ \t\"]+\\)\"?")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1196 (< p (match-end 0))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1197 (>= p (1- (match-beginning 2)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1198 (put 'yahtml-on-assignment-p 'region
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1199 (cons (match-beginning 2) (match-end 2)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1200 (YaTeX-match-string 1)))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1201
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1202 (defun yahtml-change-begend ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1203 (let ((tag (yahtml-on-begend-p))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1204 (completion-ignore-case t)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1205 (case-fold-search t)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1206 (p (point)) (q (make-marker))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1207 (default (append yahtml-env-table yahtml-typeface-table))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1208 (user (append yahtml-user-env-table yahtml-user-typeface-table))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1209 (tmp (append yahtml-tmp-env-table yahtml-tmp-typeface-table))
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1210 href b1 e1)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1211 (cond
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1212 (tag
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1213 (cond
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1214 ((and (string-match "^a$" tag)
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1215 (save-excursion
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1216 (and
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1217 (re-search-backward "<a\\b" nil t)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1218 (progn
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1219 (goto-char (match-end 0))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1220 (skip-chars-forward " \t\n")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1221 (setq b1 (point))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1222 (search-forward ">" nil t))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1223 (setq e1 (match-beginning 0))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1224 (goto-char b1)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1225 (re-search-forward "href\\s *=" e1 t)
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1226 (>= p (point))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1227 (progn
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1228 (goto-char (match-end 0))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1229 (skip-chars-forward " \t\n")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1230 (looking-at "\"?\\([^\"> \t\n]+\\)\"?"))
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1231 (< p (match-end 0)))))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1232 (setq b1 (match-beginning 1) e1 (match-end 1)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1233 yahtml-completing-buffer (current-buffer)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1234 ;; yahtml-urls-local is buffer-local, so we must put
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1235 ;; that into yahtml-urls here
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1236 yahtml-urls (append yahtml-urls-private yahtml-urls-local)
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1237 href (read-from-minibuffer
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1238 "Change href to: " "" yahtml-url-completion-map))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1239 (if (string< "" href)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1240 (progn
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1241 ;;(setq href ;??
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1242 ;; (if yahtml-prefer-upcases (upcase href) (downcase href)))
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1243 (delete-region b1 e1)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1244 (goto-char b1)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1245 (insert href))))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1246 (t
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1247 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1248 (if (= (aref tag 0) ?/) (setq tag (substring tag 1)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1249 (or (= (char-after (point)) ?<) (skip-chars-backward "^<"))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1250 (skip-chars-forward "^A-Za-z")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1251 (set-marker q (point))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1252 (setq p (point))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1253 (yahtml-goto-corresponding-begend)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1254 (or (= (char-after (point)) ?<)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1255 (skip-chars-backward "^<"))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1256 (skip-chars-forward "^A-Za-z")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1257 (if (= (char-after (1- (point))) ?/)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1258 (progn
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1259 (set-marker q (point))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1260 (goto-char p)))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1261 (setq tag (let ((completion-ignore-case t))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1262 (YaTeX-cplread-with-learning
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1263 (format "Change `%s' to(default %s): "
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1264 tag yahtml-last-begend)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1265 'default 'user 'tmp)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1266 (delete-region (point) (progn (skip-chars-forward "^>") (point)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1267 (if (string= "" tag) (setq tag yahtml-last-begend))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1268 (setq yahtml-last-begend
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1269 (or (cdr (assoc tag yahtml-env-table)) tag)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1270 tag yahtml-last-begend)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1271 (setq tag (if yahtml-prefer-upcases (upcase tag) (downcase tag)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1272 (insert (format "%s%s" tag (yahtml-addin tag)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1273 (goto-char q)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1274 (delete-region (point) (progn (skip-chars-forward "^>") (point)))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1275 (insert tag))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1276 t))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1277
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1278 (defun yahtml-change-command ()
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1279 (let ((p (point)) (case-fold-search t) cmd par new
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1280 (beg (make-marker)) (end (make-marker)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1281 (skip-chars-backward "^<")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1282 (if (and
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1283 (looking-at yahtml-command-regexp)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1284 (progn
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1285 (set-marker beg (match-beginning 0))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1286 (set-marker end (match-end 0))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1287 t) ;for further work
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1288 (progn
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1289 (forward-char -1)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1290 (condition-case nil
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1291 (forward-list 1)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1292 (error nil))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1293 (< p (point))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1294 (progn
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1295 (goto-char p)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1296 (if (setq par (yahtml-on-assignment-p))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1297 (progn
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1298 (setq new (yahtml-read-parameter par))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1299 (set-marker beg (car (get 'yahtml-on-assignment-p 'region)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1300 (set-marker end (cdr (get 'yahtml-on-assignment-p 'region))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1301 (setq new
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1302 (YaTeX-cplread-with-learning
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1303 "Change form to: "
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1304 'yahtml-form-table 'yahtml-user-form-table
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1305 'yahtml-tmp-form-table)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1306 (delete-region beg end)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1307 (goto-char beg)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1308 (insert new)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1309 t)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1310 (goto-char p)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1311 nil)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1312
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1313 (defun yahtml-change-* ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1314 "Change current position's HTML tag (set)."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1315 (interactive)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1316 (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1317 ((yahtml-change-begend))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1318 ((yahtml-change-command))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1319 ))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1320
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1321 ;;; ---------- commenting ----------
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1322 (defun yahtml-comment-region (&optional uncom)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1323 "Comment out region or environment."
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1324 (interactive)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1325 (let (e beg p)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1326 (cond
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1327 ((setq e (yahtml-on-begend-p))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1328 (save-excursion
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1329 (setq p (point))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1330 (if (string-match "^/" e)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1331 (setq beg (progn (forward-line 1) (point)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1332 (setq beg (progn (beginning-of-line) (point))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1333 (goto-char p)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1334 (yahtml-goto-corresponding-begend)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1335 (if (string-match "^/" e)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1336 (beginning-of-line)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1337 (forward-line 1))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1338 (comment-region beg (point) (if uncom (list 4)))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1339 (t (comment-region (region-beginning) (region-end)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1340 (if uncom (list 4)))))))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1341
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1342 (defun yahtml-uncomment-region ()
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1343 (interactive)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1344 (yahtml-comment-region t))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1345
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1346
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1347
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1348 (defun yahtml-inner-environment-but (exclude &optional quick)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1349 "Return the inner environment but matches with EXCLUDE tag."
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1350 (let (e (case-fold-search t))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1351 (save-excursion
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1352 (while (and (setq e (YaTeX-inner-environment quick))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1353 (string-match exclude e))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1354 (goto-char (get 'YaTeX-inner-environment 'point))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1355 e))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1356
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1357 ;;; ---------- filling ----------
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1358
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1359 (defvar yahtml-saved-move-to-column (symbol-function 'move-to-column))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1360 (defun yahtml-move-to-column (col &optional force)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1361 (beginning-of-line)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1362 (let ((ccol 0))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1363 (while (and (> col ccol) (not (eolp)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1364 (if (eq (following-char) ?\<)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1365 (progn
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1366 (while (and (not (eq (following-char) ?\>))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1367 (not (eolp)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1368 (forward-char))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1369 (or (eolp) (forward-char)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1370 (or (eolp) (forward-char))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1371 (if (eq (preceding-char) ?\t)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1372 (let ((wd (- 8 (% (+ ccol 8) 8))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1373 (if (and force (< col (+ ccol wd)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1374 (progn
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1375 (backward-char 1)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1376 (insert-char ?\ (- col ccol))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1377 (setq ccol col))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1378 (setq ccol (+ ccol wd))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1379 (setq ccol (1+ ccol)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1380 (if (and YaTeX-japan
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1381 (string-match "[chj]" (char-category (preceding-char))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1382 (setq ccol (1+ ccol)))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1383 (if (and force (> col ccol))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1384 (progn
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1385 (insert-char ?\ (- col ccol))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1386 col)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1387 ccol)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1388
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1389 (defun yahtml-fill-paragraph (arg)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1390 (interactive "P")
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1391 (let*((case-fold-search t) (p (point))
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
1392 (e (or (yahtml-inner-environment-but "^\\(a\\|p\\)\\b" t) "html"))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1393 (prep (string-match "^pre$" e))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1394 (ps1 (if prep (default-value 'paragraph-start)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1395 paragraph-start))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1396 (ps2 (if prep (concat (default-value 'paragraph-start)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1397 "\\|^\\s *</?pre>")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1398 paragraph-start)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1399 (save-excursion
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1400 (unwind-protect
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1401 (progn
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1402 (if prep
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1403 (fset 'move-to-column 'yahtml-move-to-column))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1404 (fill-region-as-paragraph
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1405 (progn (re-search-backward paragraph-start nil t)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1406 (or (save-excursion
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1407 (goto-char (match-beginning 0))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1408 (if (looking-at "<")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1409 (forward-list)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1410 (goto-char (match-end 0))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1411 (skip-chars-forward " \t>"))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1412 (if (looking-at "[ \t]*$")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1413 (progn (forward-line 1) (point))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1414 (point)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1415 (progn (goto-char p)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1416 (re-search-forward ps2 nil t)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1417 (match-beginning 0))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1418 (fset 'move-to-column yahtml-saved-move-to-column)))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1419
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1420 ;(defun yahtml-indent-new-commnet-line ()
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1421 ; (unwind-protect
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1422 ; (progn
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1423 ; (fset 'move-to-column 'yahtml-move-to-column)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1424 ; (apply 'YaTeX-saved-indent-new-comment-line (if soft (list soft))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1425 ; (fset 'move-to-column yahtml-saved-move-to-column)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1426
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1427 ;;;
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1428 ;;; ---------- indentation ----------
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1429 ;;;
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1430 (defun yahtml-indent-line ()
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1431 "Indent a line (faster wrapper)"
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1432 (interactive)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1433 (let (indent)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1434 (if (and (save-excursion
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1435 (beginning-of-line) (skip-chars-forward "\t ")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1436 (not (looking-at "<")))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1437 (save-excursion
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1438 (forward-line -1)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1439 (while (and (not (bobp)) (looking-at "^\\s *$"))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1440 (forward-line -1))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1441 (skip-chars-forward "\t ")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1442 (setq indent (current-column))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1443 (not (looking-at "<"))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1444 (progn
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1445 (save-excursion
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1446 (beginning-of-line)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1447 (skip-chars-forward " \t")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1448 (or (= (current-column) indent)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1449 (YaTeX-reindent indent)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1450 (and (bolp) (skip-chars-forward " \t")))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1451 (yahtml-indent-line-real))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1452
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1453 (defun yahtml-indent-line-real ()
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1454 (interactive)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1455 (let ((envs "[uod]l\\|table\\|[ht][rhd0-6]\\|select\\|blockquote\\|center\\|menu\\|dir")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1456 (itemizing-envs "^\\([uod]l\\|menu\\|dir\\)$")
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
1457 (itms "<\\(dt\\|dd\\|li\\|t[rdh]\\|option\\)\\b")
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1458 inenv p col peol (case-fold-search t))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1459 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1460 (beginning-of-line)
61
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
1461 (setq inenv (or (yahtml-inner-environment-but "^\\(a\\|p\\)\\b" t)
b9f753846b6b Bug fix release
yuuji
parents: 60
diff changeset
1462 "html")
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1463 col (get 'YaTeX-inner-environment 'indent)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1464 p (get 'YaTeX-inner-environment 'point)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1465 op nil))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1466 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1467 (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1468 ((string-match envs inenv)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1469 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1470 (beginning-of-line)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1471 (skip-chars-forward " \t")
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1472 (cond ;lookup current line's tag
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1473 ((looking-at (concat "</\\(" envs "\\)>"))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1474 (YaTeX-reindent col))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1475 ((looking-at itms)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1476 (YaTeX-reindent (+ col yahtml-environment-indent)))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1477 ((and yahtml-hate-too-deep-indentation
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1478 (looking-at (concat "<\\(" envs "\\)")))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1479 (YaTeX-reindent (+ col (* 2 yahtml-environment-indent))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1480 ((and (< p (point))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1481 (string-match itemizing-envs inenv)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1482 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1483 (and
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1484 ;;(re-search-backward itms p t)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1485 (setq op (point))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1486 (goto-char p)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1487 (re-search-forward itms op t)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1488 (progn
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1489 (skip-chars-forward "^>")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1490 (skip-chars-forward ">")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1491 (skip-chars-forward " \t")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1492 (setq col (if (looking-at "$")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1493 (+ col yahtml-environment-indent)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1494 (current-column)))))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1495 (YaTeX-reindent col))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1496 (t
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1497 (YaTeX-reindent (+ col yahtml-environment-indent)))))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1498 (and (bolp) (skip-chars-forward " \t"))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1499 (if (and (setq inenv (yahtml-on-begend-p))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1500 (string-match
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1501 (concat "^\\<\\(" yahtml-struct-name-regexp "\\)") inenv))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1502 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1503 (setq peol (point-end-of-line))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1504 (or (= (char-after (point)) ?<)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1505 (progn (skip-chars-backward "^<") (forward-char -1)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1506 (setq col (current-column))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1507 (if (and (yahtml-goto-corresponding-begend t)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1508 (> (point) peol)) ;if on the different line
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1509 (YaTeX-reindent col)))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1510 (and (bolp) (skip-chars-forward " \t"))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1511
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1512 ;(defun yahtml-fill-item ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1513 ; "Fill item HTML version"
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1514 ; (interactive)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1515 ; (let (inenv p fill-prefix peol (case-fold-search t))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1516 ; (setq inenv (or (YaTeX-inner-environment) "html")
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1517 ; p (get 'YaTeX-inner-environment 'point))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1518 ; (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1519 ; ((string-match "^[uod]l" inenv)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1520 ; (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1521 ; (if (re-search-backward "<\\(d[td]\\|li\\)>[ \t\n]*" p t)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1522 ; (progn
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1523 ; (goto-char (match-end 0))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1524 ; (setq col (current-column)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1525 ; (error "No <li>, <dt>, <dd>")))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1526 ; (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1527 ; (end-of-line)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1528 ; (setq peol (point))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1529 ; (newline)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1530 ; (indent-to-column col)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1531 ; (setq fill-prefix (buffer-substring (point) (1+ peol)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1532 ; (delete-region (point) peol)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1533 ; (fill-region-as-paragraph
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1534 ; (progn (re-search-backward paragraph-start nil t) (point))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1535 ; (progn (re-search-forward paragraph-start nil t 2)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1536 ; (match-beginning 0)))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1537 ; (t nil))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1538
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1539 ;;;
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1540 ;;; ---------- Lint and Browsing ----------
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1541 ;;;
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1542 (defun yahtml-browse-menu ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1543 "Browsing menu"
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1544 (interactive)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1545 (message "J)weblint p)Browse R)eload...")
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1546 (let ((c (char-to-string (read-char))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1547 (cond
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1548 ((string-match "j" c)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1549 (yahtml-lint-buffer (current-buffer)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1550 ((string-match "[bp]" c)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1551 (yahtml-browse-current-file))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1552 ((string-match "r" c)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1553 (yahtml-browse-reload)))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1554
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1555 (defvar yahtml-lint-buffer "*weblint*")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1556
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1557 (defun yahtml-lint-buffer (buf)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1558 "Call lint on buffer BUF."
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1559 (require 'yatexprc)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1560 (interactive "bCall lint on buffer: ")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1561 (setq buf (get-buffer buf))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1562 (YaTeX-save-buffers)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1563 (YaTeX-typeset
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1564 (concat yahtml-lint-program " "
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1565 (file-name-nondirectory (buffer-file-name buf)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1566 yahtml-lint-buffer "lint" "lint"))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1567
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1568 (defun yahtml-file-to-url (file)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1569 "Convert local unix file name to URL.
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1570 If no matches found in yahtml-path-url-alist, return raw file name."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1571 (let ((list yahtml-path-url-alist) p url)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1572 (if (file-directory-p file)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1573 (setq file (expand-file-name yahtml-directory-index file))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1574 (setq file (expand-file-name file)))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1575 (if (string-match "^[A-Za-z]:/" file)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1576 (progn
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1577 ;; (aset file 1 ?|) ;これは要らないらしい…
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1578 (setq file (concat "///" file))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1579 (while list
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1580 (if (string-match (concat "^" (regexp-quote (car (car list)))) file)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1581 (setq url (cdr (car list))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1582 file (substring file (match-end 0))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1583 url (concat url file)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1584 list nil))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1585 (setq list (cdr list)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1586 (or url (concat "file:" file))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1587
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1588 (defun yahtml-url-to-path (file &optional basedir)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1589 "Convert local URL name to unix file name."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1590 (let ((list yahtml-path-url-alist) url realpath docroot
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1591 (dirsufp (string-match "/$" file)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1592 (setq basedir (or basedir
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1593 (file-name-directory
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1594 (expand-file-name default-directory))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1595 (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1596 ((string-match "^/" file)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1597 (while list
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1598 (if (file-directory-p (car (car list)))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1599 (progn
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1600 (setq url (cdr (car list)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1601 (if (string-match "\\(http://[^/]*\\)/" url)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1602 (setq docroot (substring url (match-end 1)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1603 (setq docroot url))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1604 (cond
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1605 ((string-match (concat "^" (regexp-quote docroot)) file)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1606 (setq realpath
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1607 (expand-file-name
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1608 (substring
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1609 file
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1610 (if (= (aref file (1- (match-end 0))) ?/)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1611 (match-end 0) ; "/foo"
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1612 (min (1+ (match-end 0)) (length file)))) ; "/~foo"
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1613 (car (car list))))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1614 (if realpath
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1615 (progn (setq list nil)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1616 (if (and dirsufp (not (string-match "/$" realpath)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1617 (setq realpath (concat realpath "/")))))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1618 (setq list (cdr list)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1619 realpath)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1620 (t file))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1621
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1622 (defun yahtml-browse-current-file ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1623 "Call WWW browser on current file."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1624 (interactive)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1625 (basic-save-buffer)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1626 (yahtml-browse-html (yahtml-file-to-url (buffer-file-name))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1627
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1628 (defun yahtml-browse-reload ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1629 "Send `reload' event to netzscape."
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1630 (let ((pb "* WWW Browser *") (cb (current-buffer)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1631 (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1632 ((string-match "[Nn]etscape" yahtml-www-browser)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1633 (if (get-buffer pb)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1634 (progn (set-buffer pb) (erase-buffer) (set-buffer cb)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1635 ;;(or (get 'yahtml-netscape-sentinel 'url)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1636 ;; (error "Reload should be called after Browsing."))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1637 (put 'yahtml-netscape-sentinel 'url
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1638 (yahtml-file-to-url (buffer-file-name)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1639 (basic-save-buffer)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1640 (set-process-sentinel
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1641 (setq yahtml-browser-process
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1642 (start-process
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1643 "browser" pb shell-file-name yahtml-shell-command-option ;"-c"
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1644 (format "%s -remote 'reload'" yahtml-www-browser)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1645 'yahtml-netscape-sentinel))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1646 (t
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1647 (message "Sorry, RELOAD is supported only for Netscape.")))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1648
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1649 ;;; ---------- Intelligent newline ----------
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1650 (defun yahtml-intelligent-newline (arg)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1651 "Intelligent newline for HTML"
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1652 (interactive "P")
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1653 (let (env func)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1654 (end-of-line)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1655 (setq env (downcase (or (yahtml-inner-environment-but "^\\(a\\|p\\)\\b" t)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1656 "html")))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1657 (setq func (intern-soft (concat "yahtml-intelligent-newline-" env)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1658 (newline)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1659 (if (and env func (fboundp func))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1660 ;; if intelligent line function is defined, call that
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1661 (funcall func)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1662 ;; else do the default action
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1663 (if (string-match yahtml-p-prefered-env-regexp env)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1664 (yahtml-insert-p)))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1665
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1666 (defvar yahtml-faithful-to-htmllint nil)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1667 (defun yahtml-intelligent-newline-ul ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1668 (interactive)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1669 (yahtml-insert-single "li")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1670 (or yahtml-faithful-to-htmllint (insert " "))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1671 (yahtml-indent-line))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1672
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1673 (fset 'yahtml-intelligent-newline-ol 'yahtml-intelligent-newline-ul)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1674
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1675 (defun yahtml-intelligent-newline-dl ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1676 (interactive)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1677 (let ((case-fold-search t))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1678 (if (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1679 (re-search-backward "<\\(\\(dt\\)\\|\\(dd\\)\\)>"
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1680 (get 'YaTeX-inner-environment 'point) t))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1681 (cond
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1682 ((match-beginning 2)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1683 (yahtml-insert-single "dd")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1684 (or yahtml-faithful-to-htmllint (insert " "))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1685 (setq yahtml-last-single-cmd "dt"))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1686 ((match-beginning 3)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1687 (yahtml-insert-single "dt")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1688 (or yahtml-faithful-to-htmllint (insert " "))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1689 (setq yahtml-last-single-cmd "dd")))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1690 (insert (if yahtml-prefer-upcases "<DT> " "<dt> "))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1691 (setq yahtml-last-single-cmd "dd"))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1692 (yahtml-indent-line)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1693 (and (string-match yahtml-p-prefered-env-regexp "dl")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1694 (string-equal yahtml-last-single-cmd "dt")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1695 (yahtml-insert-p nil))))
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1696
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1697 (defun yahtml-intelligent-newline-select ()
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1698 (interactive)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1699 (insert "<" (if yahtml-prefer-upcases "OPTION" "option") "> ")
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1700 (yahtml-indent-line))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1701
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1702 ;;; ---------- Marking ----------
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1703 (defun yahtml-mark-begend ()
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1704 "Mark current tag"
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1705 (interactive)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1706 (YaTeX-beginning-of-environment)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1707 (let ((p (point)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1708 (save-excursion
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1709 (skip-chars-backward " \t" (point-beginning-of-line))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1710 (if (bolp) (setq p (point))))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1711 (push-mark p t))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1712 (yahtml-goto-corresponding-begend)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1713 (forward-list 1)
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1714 (if (eolp) (forward-char 1)))
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1715
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1716 ;;; ---------- complete marks ----------
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1717 (defun yahtml-complete-mark ()
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1718 "Complete &gt, &lt, &ampersand, and &quote."
59
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1719 (interactive)
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1720 (message "1:< 2:> 3:& 4:\"")
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1721 (let ((c (read-char)))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1722 (setq c (if (or (< c ?0) (> c ?5))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1723 (string-match (regexp-quote (char-to-string c)) "<>&\"")
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1724 (- c ?1)))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1725 (if (or (< c 0) (> c 4))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1726 nil
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1727 (insert (format "&%s;" (nth c '("lt" "gt" "amp" "quot")))))))
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1728
48ac97a6b6ce Call drawing tools
yuuji
parents: 58
diff changeset
1729
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1730 ;;; ---------- jump to error line ----------
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1731 (defvar yahtml-error-line-regexp
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1732 "^\\(.*\\)(\\([0-9]+\\)):"
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1733 "*Regexp of error position which is produced by lint program.")
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1734 (defun yahtml-prev-error ()
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1735 "Jump to previous error seeing lint buffer."
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1736 (interactive)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1737 (or (get-buffer yahtml-lint-buffer)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1738 (error "No lint program ran."))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1739 (YaTeX-showup-buffer yahtml-lint-buffer nil t)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1740 (yahtml-jump-to-error-line t))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1741
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1742 (defun yahtml-jump-to-error-line (&optional sit)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1743 (interactive "P")
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1744 (let ((p (point)) (e (point-end-of-line)))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1745 (end-of-line)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1746 (if (re-search-backward yahtml-error-line-regexp nil t)
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1747 (let ((f (YaTeX-match-string 1))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1748 (l (string-to-int (YaTeX-match-string 2))))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1749 (if sit (sit-for 1))
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1750 (forward-line -1)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1751 (YaTeX-showup-buffer (YaTeX-switch-to-buffer f t) nil t)
60
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1752 (goto-line l))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1753 (message "No line number usage"))))
9e08ed569d80 yahtml: change keystroke of calling browser to [prefix] t p
yuuji
parents: 59
diff changeset
1754
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1755 ;;; ---------- ----------
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1756
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1757 ;;;
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1758 ;;hilit19
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1759 ;;;
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1760 (defvar yahtml-default-face-table
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1761 '(
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1762 (form black/ivory white/hex-442233 italic)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1763 ))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1764 (defvar yahtml-hilit-patterns-alist
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1765 '(
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1766 ;; comments
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1767 ("<!--\\s " "-->" comment)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1768 ;; include&exec
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1769 ("<!--#\\(include\\|exec\\)" "-->" include)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1770 ;; string
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1771 (hilit-string-find 39 string)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1772 (yahtml-hilit-region-tag "\\(em\\|strong\\)" bold)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1773 ("</?[uod]l>" 0 decl)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1774 ("<\\(di\\|dt\\|li\\|dd\\)>" 0 label)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1775 ("<a\\s +href" "</a>" crossref)
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1776 (yahtml-hilit-region-tag-itself "</?\\sw+\\>" decl)
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1777 ))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1778
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1779 (defun yahtml-hilit-region-tag (tag)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1780 "Return list of start/end point of <TAG> form."
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1781 (if (re-search-forward (concat "<" tag ">") nil t)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1782 (let ((m0 (match-beginning 0)))
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1783 (skip-chars-forward " \t\n")
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1784 (cons (point)
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1785 (progn (re-search-forward (concat "</" tag ">") nil t)
58
3a7c0c2bf16d Official support for AMS-LaTeX, HTML, xdvi -remote, Netscape
yuuji
parents: 57
diff changeset
1786 (match-beginning 0))))))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1787
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1788 (defun yahtml-hilit-region-tag-itself (ptn)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1789 "Return list of start/end point of <tag options...> itself."
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1790 (if (re-search-forward ptn nil t)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1791 (let ((m0 (match-beginning 0)))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1792 (skip-chars-forward "^>")
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1793 (cons m0 (1+ (point) )))))
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1794
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1795 ;(setq hilit-patterns-alist (delq (assq 'yahtml-mode hilit-patterns-alist) hilit-patterns-alist))
64
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1796 (and (featurep 'hilit19)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1797 (or (assq 'yahtml-mode hilit-patterns-alist)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1798 (setq hilit-patterns-alist
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1799 (cons (cons 'yahtml-mode yahtml-hilit-patterns-alist)
36a48185b95a Changes are listed in yatex.new.
yuuji
parents: 61
diff changeset
1800 hilit-patterns-alist))))
57
18f4939986e6 (j)LaTeX2e supported
yuuji
parents: 54
diff changeset
1801
54
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
1802 (provide 'yahtml)
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
1803
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
1804 ; Local variables:
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
1805 ; fill-prefix: ";;; "
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
1806 ; paragraph-start: "^$\\| \\|;;;$"
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
1807 ; paragraph-separate: "^$\\| \\|;;;$"
2d45e43fb35f Full support of English documents
yuuji
parents: 16
diff changeset
1808 ; End:

yatex.org