ninja-ide/ninja-ide — pull request #377 by jlesquembre (2012-03-25 21:44:16+00:00)
Title: Update element from self.titles in TabWidget when a file is renamed

If I rename a file, the tab names are not properly tracked.

This causes a bug, if you rename a file, and after that you set again the original name, the tab name is expanded because Ninja thinks that already exists a tab with the same name. If you repeat it several times, Ninja freezes.