Hi,
maybe that this is really a silly question and stupid idea, but
let me try it and please explain me, why I am a fool:
I have more than once mistakenly pressed Ctrl-D so that I
created two instances of kdvi (one minimized so not seen).
Therefore, I had to think about the reason why there is
Ctrl-Shift-D function at all (buffer-typeset). After all,
computers are here to remember, so why should I remember that
there is one iconified instance of kdvi. Computers are here to
remember, so that they should know whether I had already started
my dvi-previewer or whether they should run one.
Who needs buffer-typeset function after all? Of course, if there
is such person, this elimination may be made optional and
configurable.
Have a nice day
Matej
