src/Tools/jEdit/etc/options
changeset 57425 625a369b4f32
parent 56883 38c6b70e5e53
child 57833 2c2bae3da1c2
equal deleted inserted replaced
57424:966b12f636b9 57425:625a369b4f32
    46   -- "use semantic language context for completion"
    46   -- "use semantic language context for completion"
    47 
    47 
    48 public option jedit_completion_delay : real = 0.5
    48 public option jedit_completion_delay : real = 0.5
    49   -- "delay for completion popup (seconds)"
    49   -- "delay for completion popup (seconds)"
    50 
    50 
    51 public option jedit_completion_immediate : bool = false
    51 public option jedit_completion_immediate : bool = true
    52   -- "insert uniquely completed abbreviation immediately into buffer"
    52   -- "insert uniquely completed abbreviation immediately into buffer"
    53 
    53 
    54 public option jedit_completion_path_ignore : string = "*~:*.marks:*.orig:*.rej:.DS_Store"
    54 public option jedit_completion_path_ignore : string = "*~:*.marks:*.orig:*.rej:.DS_Store"
    55   -- "glob patterns to ignore in file-system path completion (separated by colons)"
    55   -- "glob patterns to ignore in file-system path completion (separated by colons)"
    56 
    56