[jbosstools-issues] [JBoss JIRA] Commented: (JBIDE-5835) JBoss Tools Properties editor always removes leading backslash (\)

[ https://jira.jboss.org/jira/browse/JBIDE-5835?page=com.atlassian.jira.plu... ] Viacheslav Kabanovich commented on JBIDE-5835: ---------------------------------------------- On the second thought, I agree that there is theoretic argumentation (sometimes very true and quite useless) and there are very important practical cases. If the case of \$ is so much important that demands a solution, the solution exists. At one point in the saving process we keep source representations of the old and new values (the old one is read as is from the source, the new one is rendered by java.util.Properties). We can check for tokens ...${...}... in both values, and if those in the old value are preceded with a single '\', then insert that symbol into the new value. Or, we can create a boolean preference (if the case justifies it), and if it is on, then $ is to be saved as \$ in tokens ...${...}.... -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/jira/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira