src/search/QuickOpen.js
function QuickOpenPlugin(name, languageIds, done, search, match, itemFocus, itemSelect, resultsFormatter, matcherOptions, label) {
        this.name = name;
        this.languageIds = languageIds;
        this.done = done;
        this.search = search;
        this.match = match;
        this.itemFocus = itemFocus;
        this.itemSelect = itemSelect;
        this.resultsFormatter = resultsFormatter;
        this.matcherOptions = matcherOptions;
        this.label = label;
    }
function QuickOpenPlugin(name, languageIds, done, search, match, itemFocus, itemSelect, resultsFormatter, matcherOptions, label) {
        this.name = name;
        this.languageIds = languageIds;
        this.done = done;
        this.search = search;
        this.match = match;
        this.itemFocus = itemFocus;
        this.itemSelect = itemSelect;
        this.resultsFormatter = resultsFormatter;
        this.matcherOptions = matcherOptions;
        this.label = label;
    }
function QuickOpenPlugin ( name , languageIds , done , search , match , itemFocus , itemSelect , resultsFormatter , matcherOptions , label ) { this . name = name ; this . languageIds = languageIds ; this . done = done ; this . search = search ; this . match = match ; this . itemFocus = itemFocus ; this . itemSelect = itemSelect ; this . resultsFormatter = resultsFormatter ; this . matcherOptions = matcherOptions ; this . label = label ; }
Defines API for new QuickOpen plug-ins
Defines API for new QuickOpen plug - ins