search-tool: Make sure string only used in GTK3 branch is still translated.
Add type checking to WidgetConfig.
Merge remote-tracking branch 'origin/master' into gtk3

Conflicts:
	src/search-tool/search-tool.cc