Menu selection by number

[Timo <timoreg@tutanota.com>]

[-- Attachment #1: Type: text/plain, Size: 1210 bytes --]

Hello there,

I'd like to pose the following suggestion: 

Display menu options prepended with a selection number which can be used by user to select option by typing the number.
Motivation: I am using voice programming and numbers are a great visual aid in quickly selecting options. Anyone who wants to type even less could make good use of it.

It could behave this way:
The autocompletion menu lists some options
The options should be prepended by a uniquely identifiable number each (for the current menu display)
If the user types further and the menu changes, the options' numbers are reassigned to the newly displayed options.
Numbers should be displayed in a sorted manner.


Example:

> ls
test_file1 testfile1  testfile_1 testfile_2 testfile_3 testfile_4 testfile_5

# Press tab opens auto completion menu 
# without numbers
> ls test
test_file1  testfile1   testfile_1  testfile_2  testfile_3  testfile_4  testfile_5

# with numbers
> ls test
1: test_file1  2: testfile1   3: testfile_1  4: testfile_2  5: testfile_3  6: testfile_4  7: testfile_5
# typing 3 (or for example ALT+3) would complete with `testfile_1`.


What's your opinion on this?




[-- Attachment #2: Type: text/html, Size: 2184 bytes --]