名前: SHIMA 日時: 2003-01-20 18:36:41 IPアドレス: 157.82.19.*
>>15408 DVIファイルから適当な部分を画面で見ながらの文字列を取り出すには、 dviout の画面上で Shift+左クリック [Full] で可能です。あとは [Copy] でエディターに Paste して、必要に応じて編集します。 これは文字列を拾い出すことが目的なので、改行は無視します。 単語の切れ目は判断します（欧文）。ligature にも対応しています。
この書き込みへの返事：