fix(gui): use alias for types in tooltips (#1487)

This commit is contained in:
Skylot
2022-05-20 21:37:37 +01:00
parent 7b1c7b967a
commit 21e94d8d5c
3 changed files with 31 additions and 22 deletions
@@ -90,7 +90,7 @@ public abstract class JNode extends DefaultMutableTreeNode implements Comparable
}
public String getTooltip() {
return null;
return makeLongStringHtml();
}
private static final Comparator<JNode> COMPARATOR = Comparator
@@ -83,6 +83,6 @@ class MouseHoverHighlighter extends MouseMotionAdapter {
}
JNodeCache nodeCache = codeArea.getMainWindow().getCacheObject().getNodeCache();
JNode jNode = nodeCache.makeFrom(node);
codeArea.setToolTipText(jNode.makeLongString());
codeArea.setToolTipText(jNode.getTooltip());
}
}