Lucia Jelinkova created JBIDE-19340: --------------------------------------- Summary: Batch editor does not draw tree properly Key: JBIDE-19340 URL: https://issues.jboss.org/browse/JBIDE-19340 Project: Tools (JBoss Tools) Issue Type: Bug Components: batch Affects Versions: 4.3.0.Alpha1 Reporter: Lucia Jelinkova Sometimes the tree in batch editor is not properly drawn or it disappears completely if you right-click some tree item. You can see in at the end of the screencast in the JBIDE-19339 issue. -- This message was sent by Atlassian JIRA (v6.3.11#6341)