etc/options

--- a/etc/options	Wed Jun 21 21:10:51 2017 +0200
+++ b/etc/options	Wed Jun 21 21:55:07 2017 +0200
@@ -200,6 +200,9 @@
 public option completion_limit : int = 40
   -- "limit for completion within the formal context"
 
+public option completion_path_ignore : string = "*~:*.marks:*.orig:*.rej:.DS_Store"
+  -- "glob patterns to ignore in file-system path completion (separated by colons)"
+
 
 section "Spell Checker"