Use <pre><code> for fish_indent HTML output

As suggested in #1827
This commit is contained in:
ridiculousfish 2014-12-24 13:08:16 -08:00
parent 8d50b2509d
commit e5a2343879

View File

@ -224,7 +224,7 @@ static std::string html_colorize(const wcstring &text, const std::vector<highlig
}
assert(colors.size() == text.size());
wcstring html = L"<pre>";
wcstring html = L"<pre><code>";
highlight_spec_t last_color = highlight_spec_normal;
for (size_t i=0; i < text.size(); i++)
{
@ -264,7 +264,7 @@ static std::string html_colorize(const wcstring &text, const std::vector<highlig
break;
}
}
html.append(L"</span></pre>");
html.append(L"</span></pre></code>");
return wcs2string(html);
}