[jbosstools-issues] [JBoss JIRA] (JBIDE-19340) Batch editor does not draw tree properly

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, upstream Affects Versions: 4.3.0.Alpha1 Reporter: Lucia Jelinkova Assignee: Viacheslav Kabanovich Fix For: 4.3.0.Beta1 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.