# HG changeset patch
# User wenzelm
# Date 1540731651 -3600
# Node ID e0c32187916b9ffc4ded5745e76c431786d75ea4
# Parent  0b61266fc2e06cd05474891dfe7554a26533c0fa
suppress "FreeMarker Template Language" file extension for the sake of SAD3/ForTheL;

diff -r 0b61266fc2e0 -r e0c32187916b src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Sun Oct 28 11:00:09 2018 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sun Oct 28 14:00:51 2018 +0100
@@ -373,7 +373,7 @@
   cp -p -R -f src/modes/. dist/modes/.
 
   perl -i -e 'while (<>) {
-    if (m/FILE="ml.xml"/ or m/FILE_NAME_GLOB="...sml,ml."/) { }
+    if (m/FILE="ml.xml"/ or m/FILE_NAME_GLOB="...sml,ml."/ or m/FILE_NAME_GLOB="..ftl"/) { }
     elsif (m/NAME="javacc"/) {
       print qq!<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="{*.thy,ROOT0.ML,ROOT.ML}"/>\n\n!;
       print qq!<MODE NAME="isabelle-ml" FILE="isabelle-ml.xml" FILE_NAME_GLOB="*.ML"/>\n\n!;