'Show kernel initialization errors in infowidget.'

def show_kernel_error(self, error):

    eol = sourcecode.get_eol_chars(error)
    if eol:
        error = error.replace(eol, '<br>')
    error = error.replace('-', '&#8209')
    message = _('An    error    ocurred    while    starting    the    kernel')
    kernel_error_template = Template(KERNEL_ERROR)
    page = kernel_error_template.substitute(css_path=CSS_PATH, message=message, error=error)
    self.infowidget.setHtml(page)
    self.shellwidget.hide()
    self.infowidget.show()
