[Bug 73697] New: in the IDEA mode, the documentation tab changed it's name to 'doc tree widget', if I change to tabbed mode and back to IDEA mode the tab is properly relabeled as "Documentation"

[Brad]

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
      
http://bugs.kde.org/show_bug.cgi?id=73697      
           Summary: in the IDEA mode, the documentation tab changed it's
                    name to 'doc tree widget', if I change to tabbed mode
                    and back to IDEA mode the tab is properly relabeled as
                    "Documentation"
           Product: kdevelop
           Version: unspecified
          Platform: Gentoo Packages
        OS/Version: Linux
            Status: UNCONFIRMED
          Severity: normal
          Priority: NOR
         Component: general
        AssignedTo: kdevelop-devel at kdevelop.org
        ReportedBy: bwinslow at bridgeport-networks.com


Version:           rc2 (using KDE KDE 3.1.5)
Installed from:    Gentoo Packages
Compiler:          gcc 3.3.2 
OS:          Linux

During the course of development I noticed the "Documentation" tab lost it's label and was 'renamed' "doc tree widget" while in IDEA mode.  I switched to tabbed window mode, then back to IDEA mode and the label was correctly restored to "Documentation".

The label was correct in tabbed mode as well.