[Notion-devel] Default settings

[Dima K. <no...@di...>]

Hi.

I discovered a small bug in a config file we ship that raised a larger
issue. The cfg_query.lua file has

 -- Some settings
 --[[
 mod_query.set{
      -- Auto-show completions?    
      autoshowcompl=true,

      -- Delay for completion after latest keypress/modification in 
      -- milliseconds
      autoshowcompl_delay=250,

      -- Case-insensitive completion? (Some queries only.)
      caseicompl=true,

      -- Sub-string completion? (Some queries only.)
      substrcompl=true,
 }
 --]]


Generally, commented-out settings in a config file are their default
values. Here caseicompl=true is commented-out even though its default
value is false. So this comment is wrong.

A larger issue is that for many uses of mod_query, caseicompl=true is
what we actually want, and maybe the default should be changed instead
of the comment. An example is switching wingows with
mod_query.query_gotoclient (meta-g by default). There's no way anybody
wants that to be case-sensitive.

Thoughts?

dima