Fixed
- Searching works again (#166): typing in the App Library's search field showed nothing, because the field grew to fill the panel and left the results no room. The same happened in Settings search, Choose Home Apps, the Market's sources and icon stacks.