changeset 66158 | ad83d4971dfe |
parent 65782 | 4935bac8a850 |
child 66160 | 33f759742887 |
--- 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"