Searching in share/gui/extensions/widget_manager