Set priority for INI lexer over Inform 6 (#837)

alecthomas · Aug 25, 2023 · be65257 · be65257
1 parent b5487f4
commit be65257
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lexers/embedded/ini.xml b/lexers/embedded/ini.xml
@@ -15,6 +15,7 @@
     <filename>.pylintrc</filename>
     <mime_type>text/x-ini</mime_type>
     <mime_type>text/inf</mime_type>
+    <priority>0.1</priority> <!-- higher priority than Inform 6 -->
   </config>
   <rules>
     <state name="root">