Skip to content

Save filters on exit#86

Merged
WillyJL merged 3 commits intomainfrom
unknown repository
Aug 26, 2023
Merged

Save filters on exit#86
WillyJL merged 3 commits intomainfrom
unknown repository

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Aug 19, 2023

Closes #36
I know you have plans to impove filters in the future, but for the time being this should work just fine.

@WillyJL
Copy link
Copy Markdown
Owner

WillyJL commented Aug 26, 2023

Alright thanks, this works for now. What I plan to have for the filter rework is a text based filter string (think of the issue/pr search bar) so then it could be saved right into the database as a text string, but the implementation of that is still not fully clear in my head so it's still ways away

@WillyJL WillyJL merged commit 80934c5 into WillyJL:main Aug 26, 2023
@ghost ghost deleted the save_filters branch August 26, 2023 00:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

Save filters on exit

1 participant