Code

Expanded search results#612

Code

Merged

rtetley merged 2 commits intomaincoq/vscoq:mainfrom expanded-search-resultscoq/vscoq:expanded-search-resultsCopy head branch name to clipboardSep 11, 2023

+55-12

Commits

Commits on Sep 8, 2023

• Only enable the expand results feature when relevant

  rtetley

  committed
  297ba9d

  Copy full SHA for 297ba9d

• Made search results expanded by default and corrected expand button behavior

  Show description for 2def129
  rtetley

  committed
  2def129

  Copy full SHA for 2def129