On Tuesday 17 February 2004 11:57, Angus Leeming wrote: > Shall I just remove it, given that > > 1. Nobody uses it. > 2. It will not be implemented in the Qt frontend.
> I understand the reasoning for (2) and probably agree with it. > Executive summary: we have ps and kill for that and shouldn't > replicate system tools for no good reason. On the other way most of your work has been in the direction of making the dialog unnecessary. ;-) Looking to the web page about GUI, and seing the mention of obsolete for that widget is not nice. So I am in favour of removing it. Just my 0.02â. :-) -- Josà AbÃlio LyX and docbook, a perfect match. :-)