So I finally got around to looking at this - in the past I've always used the friendly 'download' menu on the Interface site - which appears to grab the appropriate files you select, check dependencies, pack them and provide you a nice interface.js.
Can anyone explain how I would go about doing that manually to include this fix for ifxhighlight? I hate to download the whole interface.js as I only need the highlight effect. I grabbed ifxhighlight.js and made the change - and I can see via the dependencies I also need ifx.js and iutil.js... Thanks! Jim
