[Date Prev][Date Next][Thread Prev][][Date Index][Thread Index]

ID properties (was: Report on emacs-w3m w/ w3mmee + Mule 2.3)



>> On 01 Jun 2001 20:56:21 +0900
>> "suto" == suto@ks-and-ks.ne.jp (Kiyokazu SUTO) said as follows:

suto> div要素に限らずid属性はすべて「<_id id="…">」という内部タグに置き換え
suto> られるので、↓のようにすれば(すくなくともMule 2.3では)指定された場所に
suto> 飛んで行くようにはなります。

動作速度が気になったので、ちょっと修正した上で採用させて頂きました。


2001-06-09  Kiyokazu SUTO  <suto@ks-and-ks.ne.jp>,
	    TSUCHIYA Masatoshi  <tsuchiya@namazu.org>

	* w3m.el (w3m-fontify-anchors): Process w3m internal tag `<_id>'
	which represents ID properties.

-- 
土屋 雅稔  ( TSUCHIYA Masatoshi )
    http://www-nagao.kuee.kyoto-u.ac.jp/member/tsuchiya/