Age | Commit message (Collapse) | Author | |
---|---|---|---|
2010-11-18 | GUI: changed tooltip to be deleted when inactive | Yotam Barnoy | |
Before, it could be instantiated after an engine loaded and then was never deleted, causing memory fragmentation. Also removed inner tooltip call to the GuiManager runloop, which makes the logic simpler since the tooltip is a bit of a hack. I had to remove it because deleting _tooltip in the inner loop (called from tooltip itself) is trouble. svn-id: r54311 | |||
2010-11-16 | GUI: Push down some header (inter)dependencies | Max Horn | |
svn-id: r54267 | |||
2010-11-16 | GUI: Commit some changes missing in my previous commit (oops) | Max Horn | |
svn-id: r54266 | |||
2010-11-16 | GUI: Rename gui/GuiManager.* to gui/gui-manager.* | Max Horn | |
svn-id: r54265 |