Fix for Doc tab not changing with file

[jalal]

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

-- 

GPG fingerprint = 3D45 5509 D380 26A4 523E  A9D8 A66A 5F38 CA43 BB0E


-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: doctab-patch
URL: <http://mail.kde.org/pipermail/kdevelop-devel/attachments/20030508/cd2b815f/attachment.ksh>