- 18 Oct, 2013 2 commits
-
-
John Tapsell authored
-
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.
-
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.