more accurate ML_Settings from underlying Session;

--- a/src/Tools/jEdit/src/main_plugin.scala	Wed Jun 25 12:43:37 2025 +0200
+++ b/src/Tools/jEdit/src/main_plugin.scala	Wed Jun 25 12:51:35 2025 +0200
@@ -52,8 +52,7 @@
   def options: JEdit_Options = plugin.options
   def session: JEdit_Session = plugin.session
   def resources: JEdit_Resources = session.resources
-
-  def ml_settings: ML_Settings = ML_Settings(plugin.startup_options)
+  def ml_settings: ML_Settings = session.store.ml_settings
 
   object editor extends JEdit_Editor
 }