Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #484 from David-/fix-widgets-order
Remove a useless old line from the pull request #482.
- Loading branch information