Fix for Doc tab not changing with file

[Amilcar do Carmo Lucas]

I didn't mean to be rude. I just misunderstood your patch.

Sorry for the confusion, keep those patches comming!

Amilcar



jalal wrote:

>
> This has nothing to do with your bug...
>
> And if you are not interested in patches and bug fixes then I will 
> keep them to myself.
>
> :(
>
> Amilcar do Carmo Lucas wrote:
>
>> 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
>>>
>>