all the project config files are in the same folder ($HOME/project)

Project files can be located anywhere, many users locate the project in the project file tree, not in a users home directory. Therefore to open a project what is needed is to the relevant project file, not to a project name, which need not be unique, and so listed recent projects are the file path which is unique, not the name. A project open is a normal file open dialog since the file has to be located to open it, the name has no information that locates the file.

Listing the name would require the project file to be opened and read to make an addition to the list, so its unlikely to be done that way. Essentially names are not particular use, its just some users may need it.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.