src/Tools/jEdit/etc/options

 public option jedit_print_mode : string = ""
   -- "default print modes for output, separated by commas (change requires restart)"
 
 public option jedit_auto_load : bool = false
   -- "load all required files automatically to resolve theory imports"
+
+public option jedit_auto_resolve : bool = true
+  -- "automatically resolve auxiliary files within the editor"
 
 public option jedit_reset_font_size : int = 18
   -- "reset main text font size"
 
 public option jedit_font_scale : real = 1.0