Age | Commit message (Expand) | Author |
---|---|---|
2018-04-19 | GUI: Unify clip and non-clip draw calls | Bastien Bouclet |
2018-03-12 | GUI: Remove the ThemeItem draw queues | Bastien Bouclet |
2016-06-01 | GUI: More object initialization cleanup | Eugene Sandulenko |
2015-03-21 | GUI: Fix bug #6813, "GUI: Tooltips eat keypresses" | Torbjörn Andersson |
2014-02-18 | GUI: Make GPL headers consistent in themselves. | Johannes Schickel |
2012-06-20 | GUI: Allow tooltips to be changed after widget creation. | Johannes Schickel |
2011-05-12 | GIT: Clean up: Suppress SVN tags, now useless | strangerke |
2011-04-28 | JANITORIAL: Reduce header dependencies in shared code | Ori Avtalion |
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: Rename gui/GuiManager.* to gui/gui-manager.* | Max Horn |
2010-10-12 | JANITORAL: Clean trailing whitespaces. | Jordi Vilalta Prat |
2010-07-23 | GUI: Fix tooltip drawing | Eugene Sandulenko |