Valama: Further work on search widget
Merge branch 'master' of https://github.com/Valama/valama

Conflicts:
	src/ui/search.vala