/** * Update the tooltips. Note: we can only do this when the panel is parented, since the * ToolTipHelpers functions need a Graphics context to make font size calculations. A graphics * context is only available once a component has been parented. * * @param polymorphicVarContext used to toString() the TypeExpr of the arguments */ public void refreshDisplay(PolymorphicVarContext polymorphicVarContext) { for (final ArgumentEditorPanel editorPanel : editorPanels) { editorPanel.refreshDisplay(polymorphicVarContext); } DataConstructor dataConstructor = getDataConstructor(); titleLabel.setToolTipText( ToolTipHelpers.getEntityToolTip( dataConstructor, namingPolicy, parentEditor.valueEditorManager.getWorkspace(), this)); }
@Override public String getToolTipTextForEntry(IntellicutListEntry listEntry, JComponent invoker) { Object listEntryData = listEntry.getData(); if (listEntryData instanceof RecordType) { return "<html><body><b>Prelude Record</b></body></html>"; } else if (listEntryData instanceof TypeConsApp) { TypeConsApp typeConsApp = (TypeConsApp) listEntryData; QualifiedName typeConsName = typeConsApp.getName(); TypeConstructor typeCons = valueEditorManager.getPerspective().getTypeConstructor(typeConsName); return ToolTipHelpers.getEntityToolTip( typeCons, getNamingPolicy(), valueEditorManager.getWorkspace(), invoker); } else { throw new IllegalStateException("ParametricValueEditor: Unsupported list entry type"); } }