[teiid-designer-issues] [JBoss JIRA] Created: (TEIIDDES-1072) can not edit REST extension properties,

can not edit REST extension properties, ---------------------------------------- Key: TEIIDDES-1072 URL: https://issues.jboss.org/browse/TEIIDDES-1072 Project: Teiid Designer Issue Type: Bug Affects Versions: 7.5 Reporter: Frank Sauer After REST enabling a procedure in 7.5RC1 the properties view shows the extension properties for REST but you can not set them. They immediately change back to blank. -- This message is automatically generated by JIRA. For more information on JIRA, see: http://www.atlassian.com/software/jira