Re: [scaffold] do not reopen the same file

["John (J5) Palmieri" <johnp martianrock com>]

On Thu, 2003-12-04 at 12:20, aurelien naldi wrote:
> the attached patch prevents scaffold from opening twice the same file
> 
> the problem was that the project manager opened file with a path
> prefixed by "file://" and clicked on a compile error didn't prefix the
> path

This patch looks good.  I'm going to include it in my debian build. 
Jeroen, I don't know where you are but I CC'ed this to you so that when
you get back you can push it to CVS.

--
J5