Daniel Imms c08062420f Bring back search clearActiveDecoration ...

This was removed accidentally in 57db72d

Fixes #4821

2023-09-27 07:56:31 -07:00

..

SearchAddon.ts

Bring back search clearActiveDecoration

2023-09-27 07:56:31 -07:00

tsconfig.json

Upgrade es6 -> es2021

2023-09-01 07:36:48 -07:00