# HG changeset patch
# User wenzelm
# Date 1756040599 -7200
# Node ID 0d9caed02d6684e7e0e50e6963d3de003141c362
# Parent  364feb78c4edda296d8a98467f2faae75d9aa782
more robust: hardwired default for locale-specific operations seen in jEdit sources (e.g. BreakIterator.getCharacterInstance);

diff -r 364feb78c4ed -r 0d9caed02d66 src/Tools/jEdit/src/base_plugin.scala
--- a/src/Tools/jEdit/src/base_plugin.scala	Sat Aug 23 22:00:12 2025 +0200
+++ b/src/Tools/jEdit/src/base_plugin.scala	Sun Aug 24 15:03:19 2025 +0200
@@ -9,12 +9,16 @@
 
 import isabelle._
 
+import java.util.Locale
+
 import org.gjt.sp.jedit.{EBMessage, Debug, EBPlugin}
 import org.gjt.sp.util.SyntaxUtilities
 
 
 class Base_Plugin extends EBPlugin {
   override def start(): Unit = {
+    Locale.setDefault(Locale.ENGLISH)
+
     Isabelle_System.init()
 
     GUI.use_isabelle_fonts()