Re: w3m-view-previous-page and #name anchor

[Naohiro Aota <nao.aota@xxxxxxxxx>]

TSUCHIYA Masatoshi <tsuchiya@xxxxxxxxxx> writes:

>>> On Sat, 12 Jan 2008 12:58:57 +0900
>>> nao.aota@xxxxxxxxx (Naohiro Aota) said as follows:
>
>>> この改善以後，ちょっと奇妙な挙動をすることがあることに気付きました．例
>>> として，
>
>>こちらは添付のパッチのように、 同一ページ内でのアンカージャンプの時だけ
>>記録するようにすれば直りそうです。
>
> とりあえず，これで commit お願いします．

commit しました。

>>> それと，コードを斜め読みしただけの感想ですが，w3m-name-anchor-from-hist
>>> を使うのは今一なんじゃないかなあと思います．できれば，w3m-hist.el の中で
>>> きちんと処理されている方が綺麗なのではないかと．
>
>>w3m-hist.el にまとめる方法も考えてみました。 例えば "foo.html" と
>>"foo.html#bar" は :window-start と :position は別の値を持つべきですが、
>>form の入力値などのその他の property に関しては共有するべきですよね。こ
>>れをうまく実装するのは難しいのではないかと思います。
>
> foo.html と foo.html#bar を完全に別の要素として扱うのではなく，
> foo.html を表している要素に :name-history 属性を持たせて，
> w3m-hitory-push() やw3m-history-backware() などが :name-history 属性を参
> 照するようにする，という解を考えていました．

ということは、今 w3m.el でやっていることを w3m-history.el の中に移してし
まう感じでしょうか。 もしそれでしたら、時間がとれたらやってみます。

--
青田