僕が良いツールを知らないだけかもしれないが

texのソースをいじる
↓
dviにコンパイルする。
↓
表示がうまく行っていないところが見つかる。
↓
該当箇所のソースを探し、いじる。
↓
dviにする。
以下繰り返し。

この作業は非常に非効率的だと思う。

やっぱり常時コンパイルと、dviに直接編集ができる(texに反映される。あるいは編集したい部分のソースがクリック一つで出る)ようにした方がいいと思う。

これをするにはソース情報を含んだdviファイルというものが必要だな。