Skip to content

Added search-bar in minedRules#48

Open
RBP98 wants to merge 1 commit intoourcodeinc:mainfrom
RBP98:search-bar
Open

Added search-bar in minedRules#48
RBP98 wants to merge 1 commit intoourcodeinc:mainfrom
RBP98:search-bar

Conversation

@RBP98
Copy link
Contributor

@RBP98 RBP98 commented Sep 23, 2024

Added a functional search bar in the mined rules section

image

The search bar currently searches based on the class name (minedRulesGrouped state property in the code)

image

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