Age | Commit message (Expand) | Author |
---|---|---|
2010-11-18 | GUI: Simplify Tooltip implementation. | Johannes Schickel |
2010-11-18 | GUI: changed tooltip to be deleted when inactive | Yotam Barnoy |
2010-11-16 | GUI: Push down some header (inter)dependencies | Max Horn |
2010-11-16 | GUI: Commit some changes missing in my previous commit (oops) | Max Horn |
2010-11-16 | GUI: Rename gui/GuiManager.* to gui/gui-manager.* | Max Horn |