Editor: disabled brace highlight animation. Can be re-enabled by manually

editing theme/syntax/default.xml. Fixes #3991

Author: Federico Fissore

build/shared/lib/theme/syntax/dark.xml

@@ -18,7 +18,7 @@
    <marginLine fg="394448"/>
    <markAllHighlight color="6b8189"/> <!-- TODO: Fix me -->
    <markOccurrencesHighlight color="5b7179" border="false"/>
-   <matchedBracket fg="6A8088" bg="6b8189" highlightBoth="false" animate="true"/>
+   <matchedBracket fg="6A8088" bg="6b8189" highlightBoth="false" animate="false"/>
    <hyperlinks fg="a082bd"/>
    <secondaryLanguages>
       <language index="1" bg="333344"/>

build/shared/lib/theme/syntax/default.xml

@@ -18,7 +18,7 @@
    <marginLine fg="b0b4b9"/>
    <markAllHighlight color="ffc800"/>
    <markOccurrencesHighlight color="d4d4d4" border="false"/>
-   <matchedBracket fg="000080" bg="ffffff" highlightBoth="false" animate="true"/>
+   <matchedBracket fg="000080" bg="ffffff" highlightBoth="false" animate="false"/>
    <hyperlinks fg="0000ff"/>
    <secondaryLanguages>
       <language index="1" bg="fff0cc"/>