Fix for Doc tab not changing with file

[Amilcar do Carmo Lucas]

This is for the docview part.
The bug that I reported was with normal source files. It is fixed in CVS 
now by teatime.

So this pach will not be commited.

Amilcar


jalal wrote:

> When the document is changed, the tab doesn't change to indicate the 
> name of the file, this patch fixes that.
>
> I don't think it breaks anything ;)
>
> cheers
> jalal
>