[jbosstools-issues] [JBoss JIRA] (JBIDE-16985) HTML Editor JavaScript documentation hoover has strange format

HTML Editor JavaScript documentation hoover has strange format -------------------------------------------------------------- Key: JBIDE-16985 URL: https://issues.jboss.org/browse/JBIDE-16985 Project: Tools (JBoss Tools) Issue Type: Bug Components: jsp/jsf/xml/html source editing, upstream Affects Versions: 4.2.0.Beta1 Environment: F19, GTK2 Reporter: Michelle Murray Assignee: Victor Rubezhny Priority: Minor Fix For: 4.3.x Attachments: HTML_attributeinfo.png !HTML_attributeinfo.png! Dialog has strange format - font is too big and window is too small.