You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@streampipes.apache.org by GitBox <gi...@apache.org> on 2022/11/26 13:29:31 UTC
[GitHub] [streampipes] dominikriemer opened a new issue, #342: Add more options to install pipeline elements page
dominikriemer opened a new issue, #342:
URL: https://github.com/apache/streampipes/issues/342
There should be more options such as:
* refresh option (if not automatically updating ui in case new pe started)
* search field to search for any given name
* filter for PE that are not yet installed
Imported from Jira [STREAMPIPES-203](https://issues.apache.org/jira/browse/STREAMPIPES-203). Original Jira may contain additional context.
Reported by: wiener.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@streampipes.apache.org.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [streampipes] dominikriemer closed issue #342: Add more options to install pipeline elements page
Posted by GitBox <gi...@apache.org>.
dominikriemer closed issue #342: Add more options to install pipeline elements page
URL: https://github.com/apache/streampipes/issues/342
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@streampipes.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org