[jbosstools-issues] [JBoss JIRA] (JBIDE-20761) Support editing Build Configuration parameters

[ https://issues.jboss.org/browse/JBIDE-20761?page=com.atlassian.jira.plugi... ] Fred Bricon edited comment on JBIDE-20761 at 12/14/15 7:01 PM: --------------------------------------------------------------- 1- was fixed 2- I don't feel the need to persist the editor state locally, as it might go stale (the source is on the server) upon workbench restart. 3- whatever JSON editor you have installed will be used to open the json payload. We're waiting for Angelo's json editor to be contributed to JSDT, but you can test it with whatever editor you find on the marketplace right now: !http://content.screencast.com/users/fbricon/folders/Jing/media/47d0831e-8a0e-4f97-8c86-abb493f1dd5c/00000251.png|width=650! What I'd like to see next is a way to edit individual properties from the properties view directly, without going through using the text/json editor was (Author: fbricon): 1- was fixed 2- I don't feel the need to persist the editor state locally, as it might go stale (the source is on the server) upon workbench restart. 3- whatever JSON editor you have installed will be used to open the json payload. We're waiting for the Angelo's json editor to be contributed to JSDT, but you can test it with whatever editor you find on the marketplace right now: !http://content.screencast.com/users/fbricon/folders/Jing/media/47d0831e-8a0e-4f97-8c86-abb493f1dd5c/00000251.png|width=650! What I'd like to see next is a way to edit individual properties from the properties view directly, without going through using the text/json editor -- This message was sent by Atlassian JIRA (v6.4.11#64026)