[Bug 73697] 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"

Amilcar do Carmo Lucas amilcar at ida.ing.tu-bs.de
Fri Jun 25 21:47:06 UTC 2004

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
amilcar ida ing tu-bs de changed:

           What    |Removed                     |Added
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED

------- Additional Comments From amilcar ida ing tu-bs de  2004-06-25 21:42 -------
We have a new documentation part in HEAD.
Closing it.

More information about the KDevelop-devel mailing list