Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature/plugin filter editor #48

Merged
merged 31 commits into from
Jul 21, 2023
Merged

Feature/plugin filter editor #48

merged 31 commits into from
Jul 21, 2023

Conversation

infacc
Copy link
Contributor

@infacc infacc commented Jul 11, 2023

No description provided.

@infacc infacc requested a review from buehlefs July 11, 2023 08:15
@@ -0,0 +1,71 @@
<div>
<div *ngIf="isFilterEmpty()" class="create-buttons">
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This should be handled in the parent component (a node cannot create or delete itself normally...)

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is meant for empty filters ({}). I.e. when a tab is newly created. The HTML class name create-buttons is misleading, I changed it to set-buttons.

Copy link
Contributor

@buehlefs buehlefs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, but there is another bug with the tab editing form. The form does not contain the name or description of an existing tab (the sort key may have the same problem)

the filter string is a separate property and handled by the PluginFilterEditorComponent
@infacc
Copy link
Contributor Author

infacc commented Jul 20, 2023

The form didn't display the tab name/description/sortKey since I forgot to remove the filterString from the FormGroup. Now it works.

Copy link
Contributor

@buehlefs buehlefs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this should be ready for merging then.

@infacc
Copy link
Contributor Author

infacc commented Jul 20, 2023

I added 2 more things:

  • A reload button for the filter editor, which resets the filter editor to the saved filter.
  • A JSON validator for the JSON editor (of the filter string). This doesn't validate the filter string but complains if the user enters invalid JSON.

Copy link
Contributor

@buehlefs buehlefs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just one cosmetic/formulation change

infacc and others added 2 commits July 21, 2023 13:38
Co-authored-by: Fabian Bühler <fabian.buehler@iaas.uni-stuttgart.de>
@infacc infacc requested a review from buehlefs July 21, 2023 11:50
@infacc infacc merged commit 647d08a into main Jul 21, 2023
2 checks passed
@infacc infacc deleted the feature/plugin-filter-editor branch July 21, 2023 12:06
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.

2 participants