Skip to content

Add filter editing - #139

Open
alexhroom wants to merge 2 commits into
mainfrom
131-edit-filters
Open

alexhroom wants to merge 2 commits into
mainfrom
131-edit-filters

Conversation

@alexhroom

Copy link
Copy Markdown
Collaborator

Add the ability to edit time and log filters. Fixes #131.

@alexhroom
alexhroom added this pull request to stack #140 September 28, 2026 10:37
@alexhroom alexhroom added this to the Needed for GUI milestone Sep 29, 2026
@alexhroom alexhroom added the feature New feature or request label Sep 29, 2026
Base automatically changed from 8x-filtering-chores to main October 1, 2026 13:58
@github-actions

github-actions Bot commented Oct 1, 2026

Copy link
Copy Markdown

👋 Hi, @alexhroom,

Conflicts have been detected against the base branch. Please rebase your branch against the base branch.


This message is automatically generated by prince-chrismc/label-merge-conflicts-action so don't hesitate to report issues/improvements there.

@github-actions github-actions Bot added the Has Conflicts This PR has a merge conflict. label Oct 1, 2026
@github-actions github-actions Bot added Has Conflicts This PR has a merge conflict. and removed Has Conflicts This PR has a merge conflict. labels Oct 1, 2026
@github-actions

github-actions Bot commented Oct 2, 2026

Copy link
Copy Markdown

👋 Hi, @alexhroom,

Conflicts have been detected against the base branch. Please rebase your branch against the base branch.


This message is automatically generated by prince-chrismc/label-merge-conflicts-action so don't hesitate to report issues/improvements there.

@github-actions github-actions Bot removed the Has Conflicts This PR has a merge conflict. label Oct 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add edit_time_filter and edit_log_filter

1 participant