Commit 3440d1d1 authored by Committed by Gabriela BittencourtBrowse files
Add some autocomplete options to the gui preferences.
The autcomplete option globally enables or disables autocompletion. The autocomplete_prefix option only matches object name prefixes, instead of looking for the text anywhere in an object name. So, e.g., typing "me" lists "metro", but not "timer" as possible completions if this option is enabled. Both options are currently disabled by default. TODO: French translations.