- 27 Jun, 2014 1 commit
-
-
Bryant Mairs authored
-
- 18 Oct, 2013 1 commit
-
-
John Tapsell authored
This fixes a bunch of bugs with setting the title for widgets, deleting widgets, etc. It also reduces the amount of code duplication, which is always a good thing.
-