Implement full text search of site

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems

Apache License 2.0

4 stars 0 forks source link

Implement full text search of site #88

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Currently, the generated site presents the entire context in a single page, so full text search isn't that useful. But as we explore how we want to use the generated site -- discovering how we want to divide up content, what we want included, how it should be related -- we'll likely end up wanting full text search.

shonfeder commented 3 years ago

We currently present the context as a tree of logical units. But we might consider a filterable/searchable table, e.g. using https://www.ag-grid.com/example.php