@ -1935,6 +1935,8 @@ function restore()
function toggleheader()
{
if (preview.hidden)
if (md.value.startsWith("---"))
var idx = md.value.indexOf("---", 3);
@ -1955,6 +1957,7 @@ function toggleheader()
}
resize();
function splitshortcut(s)