Skip to content

Context Search / Isolate#38

Merged
dantleech merged 1 commit intomainfrom
search
Jun 15, 2025
Merged

Context Search / Isolate#38
dantleech merged 1 commit intomainfrom
search

Conversation

@dantleech
Copy link
Owner

Ailms to add a way to filter the properties - perhaps by path or by an expression.

@dantleech dantleech force-pushed the search branch 2 times, most recently from 874ef97 to d970e3b Compare June 15, 2025 09:51
- Make app mutable in view
- Introduce `f` to show a filter dialog in the context pane
- Filter with dot notation
@dantleech dantleech merged commit 9a8d2e3 into main Jun 15, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments