Skip to content

quickopen: extra points for already open files

Waqar Ahmed requested to merge work/quickopen-openedfiles into master

If a file is already open, there is a higher chance that a user wants to go to that file so give extra points to such matches.

Merge request reports