Skip to content

Add symbol filter to outline pane#1253

Merged
jeremypw merged 32 commits intomasterfrom
search-symbols
Aug 2, 2024
Merged

Add symbol filter to outline pane#1253
jeremypw merged 32 commits intomasterfrom
search-symbols

Commits

Commits on Jan 23, 2023

Commits on Jan 24, 2023

Commits on Mar 21, 2023

Commits on Mar 22, 2023

Commits on Mar 24, 2023

Commits on Mar 27, 2023

Commits on May 12, 2023

Commits on Jun 17, 2023

Commits on Jul 6, 2023

Commits on Aug 2, 2023

Commits on Jul 17, 2024

Commits on Jul 24, 2024

Commits on Jul 27, 2024

Commits on Jul 30, 2024

Commits on Aug 1, 2024