[tex-k] xdvi starts up without showing option menu in right side of window
arthur.reutenauer at normalesup.org
Wed Nov 13 12:46:01 CET 2019
On Wed, Nov 13, 2019 at 09:30:15AM +0100, jfbu wrote:
> It seems reasonable the 'x' key was accidentally hit
Yes, that’s what Paul and I have been saying.
> Good to see you are contributing to maintain the warm and
> welcoming atmosphere,
I have found you unpleasant on mailing lists, particularly TeX Live,
for years. I don’t think I ever said a word to you. If you find the
atmosphere bad, perhaps you should consider your own contribution to it.
More information about the tex-k