Skip to content
This repository has been archived by the owner on Mar 15, 2022. It is now read-only.

Gui enhancements #10

Closed
wants to merge 8 commits into from
Closed

Gui enhancements #10

wants to merge 8 commits into from

Conversation

claudio4j
Copy link
Contributor

Hi, I wrote some small enhancements accordingly to https://issues.jboss.org/browse/HAL-265

The contributions are:

  • case insensitive filter and filter for text in the middle for: environment properties and deployed applications
  • test datasource connection for domain mode (it is in runtime -> datasource)
  • flush connection for domain mode (it is in runtime -> datasource)
  • added help text to ctrl+click assign deployment to multiple groups

@rhusar
Copy link
Contributor

rhusar commented Jan 20, 2014

Might want to squash the commits together and add Jira number to the commit message... ;-)

@heiko-braun
Copy link
Contributor

Thanks for the contribution Claudio. I did squash the commits and merged it manually.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants