nope…the theme has three header image sets, one for the WordPress header (this one is coded in the file), one for the Showcase header, and another for a page banner header. The last two are widget positions which gives you the means of adding sliders, static images, etc. I coded the theme so you are not limited to what slider a person wants to use. So adding any slider can be done with a widget either by adding the slide’s shortcode into a text widget, or if the plugin comes with it’s own slider widget, then you can use that.
The code you pasted is only if the location in a theme page has no widget position.