I am trying to change default username and password to Teiid and save it using key shortcut, but it is not possible. I have to click File -> Save. It seems to have problems when one of the fields is focused. See video attached in JIRA.
Recommend push to 9.0.3 or DV 6.3
Barry LaFond <blafond> updated the status of jira TEIIDDES-2537 to Resolved
Matus Makovy <mmakovy> updated the status of jira TEIIDDES-2537 to Closed