Add config setting to activate JLine's AUTO_MENU_LIST

Description

Fixed

Assignee

Brad Wood

Reporter

Brad Wood

Labels

None

Affects versions

None

Fix versions

Priority

Major
Configure