[jbosstools-issues] [JBoss JIRA] Reopened: (JBIDE-1546) Adjust selection repaint

[ https://jira.jboss.org/jira/browse/JBIDE-1546?page=com.atlassian.jira.plu... ] Denis Golovin reopened JBIDE-1546: ---------------------------------- it has many side effects: 1. Elements are moving after selection, because sounds are chaged after adding a border with 2px width; 2. Now it shows two borders at the same time: one by style element second is showed by flasher component; 3. Also it removes real element style from style attribute after selection is chaged as it says here JBIDE-5132 -- 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