名前: 大石 日時: 2002-12-13 14:09:00 IPアドレス: 211.125.112.*
>>13918 私の書いた「これは、間違いだと思う」の「これ」とは、 「txfontsを使わずにデフォルトのままだと、このようなバグは起こらない」を 指します。つまり、txfonts を使わずデフォルトのままでも起こるのではないか ということです。私も新規インストールした直後などで遭遇しますが、 txfonts が関係するかどうか検証していませんが、無関係だと思っています。
この書き込みへの返事：