extension api: allow ext to specify max results in panels (!29738) · Merge requests · Warren Gifford / sourcegraph

Warren Gifford requested to merge mrn/ext-max-loc-results into main Jan 14, 2022

Created by: mrnugget

Follow up to #29629 to allow extensions to also use the user-configured codeIntelligence.maxPanelResults setting to tell the Sourcegraph how many results are shown in provided panel.

IMPORTANT: I do not know how to publish a new version of the extension-api, so will need pointers there.

extension api: allow ext to specify max results in panels

Merge request reports