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

[ https://jira.jboss.org/jira/browse/JBIDE-1546?page=com.atlassian.jira.plu... ] Denis Golovin commented on JBIDE-1546: -------------------------------------- Consider using div with absolute positioning and border: 1. It should be added in init.htm and hidden by default 2. Add insets to to init.html body tag to make selection visible in case of it has width/height=100% (optional) 3. Make border size, color and transparency(Optional) adjustable through Visual Editor preferences (optional) WDYT? -- 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