[Theme Horse Support Team]

Hi David
The file is inside theme folder -> inc -> widgets -> interface_widgets.php

You may edit it from here but We recommended not to change the code because if you change the code then while updating to our new version all your customisation code will be lost. So better make child theme and first unhook the functions and the edit the code.

http://codex.wordpress.org/Child_Themes

Thank you!