Re: [Kile-devel] Fixing Processlauncher

[Michel L. <mic...@kd...>]

Hi Thomas,

On Fri 05 Jun 2009 21:21:41 Thomas Braun wrote:
> So I must submit I changed my mind and my favourite option is now 2.)
> One smaller reason  is also that it would be much quicker to implement and
> I don't think I would have time for 3.) in the near future.

Ok, I guess we can do option 2 for now and leave option 3 for the future.

Michel