Bug#99710: XDvi doesn't work from menu

[Shaul Karl <shaulka@bezeqint.net>]

> You upgraded tetex-bin.
> In the same X-session you had the problem.
> The next time you start X the problem is gone.
> 
> ?


Terminating the X-session and starting it again fixed it. 
Therefore, you must be right about the sequence of events.


> 
> 
> If yes, the problem is that the xdvi binary has moved in 1.0.7+20001218-3
> but you won't get the new menu entries before you restart your window
> manager.
> 
> (Something similar happens with other menu programs like e.g. pdmenu.)
> 
> 
> cu
> Adrian
> 
> -- 
> A "No" uttered from deepest conviction is better and greater than a
> "Yes" merely uttered to please, or what is worse, to avoid trouble.
>                 -- Mahatma Ghandi
> 

-- 
	
	Shaul Karl <shaulka@bezeqint.net>

Hillel used to say: If I am not for myself who will be for me?
Yet, if I am for myself only, what am I? And if not now, when?
                                          (Ethics Of The Fathers 1:14)