Commit 721764a1 authored by Dimitri van Heesch's avatar Dimitri van Heesch

Bug 726469 - Tilde sign in combination with <pre> and MARKDOWN_SUPPORT disabled

parent 513ce9aa
...@@ -6205,7 +6205,7 @@ OPERATOR "operator"{B}*({ARITHOP}|{ASSIGNOP}|{LOGICOP}|{BITOP}) ...@@ -6205,7 +6205,7 @@ OPERATOR "operator"{B}*({ARITHOP}|{ASSIGNOP}|{LOGICOP}|{BITOP})
g_nestedComment=FALSE; g_nestedComment=FALSE;
BEGIN(DocCopyBlock); BEGIN(DocCopyBlock);
} }
<DocBlock>"<"{PRE}">" { <DocBlock>{B}*"<"{PRE}">" {
docBlock+=yytext; docBlock+=yytext;
docBlockName="<pre>"; docBlockName="<pre>";
g_fencedSize=0; g_fencedSize=0;
...@@ -6221,6 +6221,7 @@ OPERATOR "operator"{B}*({ARITHOP}|{ASSIGNOP}|{LOGICOP}|{BITOP}) ...@@ -6221,6 +6221,7 @@ OPERATOR "operator"{B}*({ARITHOP}|{ASSIGNOP}|{LOGICOP}|{BITOP})
} }
<DocBlock>"~~~"[~]* { <DocBlock>"~~~"[~]* {
docBlock+=yytext; docBlock+=yytext;
docBlockName="~~~";
g_fencedSize=yyleng; g_fencedSize=yyleng;
g_nestedComment=FALSE; g_nestedComment=FALSE;
BEGIN(DocCopyBlock); BEGIN(DocCopyBlock);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment