Selected value for interactiveSelectList

[mikaelstaldal]

Terminal.interactiveSelectList() returns the visible title of the selected entry. This is not always convenient. It would be useful to specify a (hidden) value in each entry which is returned instead of the title (a bit like HTML <option value="...">).

This could be added to SelectList.Entry:

    data class Entry(
        /** The title of the entry. */
        val title: String,
        /** An optional description of the entry. */
        val description: Widget? = null,
        /** Whether this entry is marked as selected. */
        val selected: Boolean = false,
        /** Return this value instead of title if not null. */
        val value: String? = null,
       )