src/Tools/jEdit/etc/options

 public option jedit_completion_delay : real = 0.5
   -- "delay for completion popup (seconds)"
 
 public option jedit_completion_immediate : bool = false
   -- "insert uniquely completed abbreviation immediately into buffer"
+
+public option jedit_completion_path_ignore : string = "*~:*.marks:*.orig:*.rej:.DS_Store"
+  -- "glob patterns to ignore in path completion (separated by colons)"
 
 
 section "Spell Checker"
 
 public option spell_checker : bool = true