[mgp-users-jp 00554] forward page cache

[YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>]

千葉大の山本です。

ページの先読みキャッシュを用いたときにいくつか不具合が見付かりましたの
で御報告致します。

1. pause を使用したとき、pause の前における使用中の truetype フォント
   (おそらく vflib フォントも)の名前が復元されない。

英字に truetype フォントを使用しているとき、以下のようなサンプルを先読
みキャッシュ付きで表示すると、%pause の後にフォントがきちんと復元され
ません。

%INCLUDE "default.mgp"
%DEFAULT 1 BGRAD
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%PAGE

page 1

%FONT "typewriter"
typewriter 
%PAUSE
typewriter?

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%PAGE

page 2

%FONT "thick"
thick
%PAUSE
thick

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

なお、X のフォントを使用したときは大丈夫です。


2. リロードしたときにキャッシュが invalidate されない。

先程と同じサンプルで、1ページ目でリロードすると、2ページ目のキャッシュ
が invalidate されていないらしく、表示がおかしくなったりします。

					山本 光晴
				mituharu@math.s.chiba-u.ac.jp