Changes between Version 2 and Version 3 of UserPrefs

Show
Ignore:
Timestamp:
09/15/09 05:29:22 (5 years ago)
Author:
judah (IP: 75.85.89.204)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • UserPrefs

    v2 v3  
    2222|| listCompletionsImmediately || `Bool`|| `True` || 
    2323|| || If `False`, completions with multiple possibilities will ring the bell and only display them if the user presses `TAB` again.|| 
     24|| historyDuplicates || {{{AlwaysAdd | IgnoreConsecutive | IgnoreAll }}} || `AlwaysAdd` || 
     25|| || If this is set to `IgnoreConsecutive`, a line will not be added to the history if it matches the previous entry. If it is set to `IgnoreAll`, all previous entries matching the current line will be removed. || 
     26|| || This preference is available in haskeline>=0.6.2.|| 
    2427 
    2528See also CustomKeyBindings.