yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-04 18:29:37 +02:00
Code Issues Releases Wiki Activity

GT-2698 refactor UI elements to lock down HTML rendering

Browse source
This commit is contained in:
dev747368 2019-04-11 15:55:56 -04:00
parent a03c96d37b
commit e0c25b0590
360 changed files with 3895 additions and 4563 deletions
Download patch file Download diff file Expand all files Collapse all files

8
Ghidra/Features/FunctionGraph/src/main/java/ghidra/app/plugin/core/functiongraph/graph/vertex/ListingGraphComponentPanel.java
View file

@ -27,8 +27,7 @@ import java.util.List;
import javax.swing.*;
import javax.swing.border.BevelBorder;
import docking.ActionContext;
import docking.GenericHeader;
import docking.*;
import docking.action.DockingAction;
import docking.action.ToolBarData;
import docking.widgets.fieldpanel.FieldPanel;
@ -203,7 +202,7 @@ public class ListingGraphComponentPanel extends AbstractGraphComponentPanel {
// previewListingPanel.getFieldPanel().setSelectionMode( FieldPanel.NO_SELECTION );
previewListingPanel.getFieldPanel().setCursorOn(false);
tooltipTitleLabel = new JLabel();
tooltipTitleLabel = DockingUtils.createNonHtmlLabel();
tooltipTitleLabel.setHorizontalAlignment(SwingConstants.LEADING);
tooltipTitleLabel.setBackground(FGVertex.TOOLTIP_BACKGROUND_COLOR);
tooltipTitleLabel.setOpaque(true);
@ -492,7 +491,8 @@ public class ListingGraphComponentPanel extends AbstractGraphComponentPanel {
if (address == null) {
// This is an unusual case. For now, do something reasonable.
String side = isDestinationVertex ? "end" : "start";
toolTipComponent = new JLabel("Unable to find address for edge " + side + ": " + edge);
toolTipComponent = DockingUtils.createNonHtmlLabel(
"Unable to find address for edge " + side + ": " + edge);
toolTipComponent.setBorder(BorderFactory.createEmptyBorder(0, 10, 0, 10));
if (previewListingPanel != null) {
previewListingPanel = null;