fdschmidt93 c19eae901c feat: filtering for dynamic workspace symbols (#1336) ...

* enable `symbols` filtering opt for builtin.dynamic_workspace_symbols

2021-10-12 18:48:55 +02:00

..

telescope

feat: filtering for dynamic workspace symbols (#1336)

2021-10-12 18:48:55 +02:00

tests

feat: layout_strategies refactor (#1039)

2021-09-19 09:30:25 +01:00