TUI-related functions for selecting directories, files, numbers and subsets of lists.

Changes for 0.140 - 2023-10-20

• Update settings_menu: skip undefined values.