mirror/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2026-09-28 17:11:11 -09:00
Code Issues Packages Projects Releases Wiki Activity

Fixed issue with FlatLafs that caused intermittent icon painting in the

Browse Source 
'more tabs' popup
This commit is contained in:
dragonmacher
2026-01-30 09:44:44 -05:00
parent 94494d7de9
commit f03114534c
6 changed files with 46 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
Ghidra/Features/FunctionGraph/src/main/java/ghidra/app/plugin/core/functiongraph/FGProvider.java
View File

@@ -29,7 +29,6 @@ import docking.action.*;
import docking.options.OptionsService;
import docking.widgets.fieldpanel.FieldPanel;
import edu.uci.ics.jung.graph.Graph;
import generic.stl.Pair;
import generic.theme.GIcon;
import ghidra.app.context.ListingActionContext;
import ghidra.app.nav.*;
@@ -426,41 +425,47 @@ public class FGProvider extends VisualGraphComponentProvider<FGVertex, FGEdge, F
}
private void updateTitle() {
Pair<String, String> result = getTitleFromGraphData("Function Graph");
String title = result.first;
String subTitle = result.second;
GraphTitle graphTitle = getTitleFromGraphData("Function Graph");
String title = graphTitle.title;
String subTitle = graphTitle.subTitle;
String tabText = "Function Graph";
if (!isConnected()) {
title = "[" + title + "]";
tabText = "[" + graphTitle.functionName + "]";
}
setTitle(title);
setSubTitle(subTitle);
setTabText(tabText);
}
private Pair<String, String> getTitleFromGraphData(String title) {
private GraphTitle getTitleFromGraphData(String title) {
FGData graphData = controller.getFunctionGraphData();
Pair<String, String> result = new Pair<>(title, "");
if (graphData == null) {
return result;
return new GraphTitle(title, "", "");
}
Function function = graphData.getFunction();
if (function == null) {
return result;
return new GraphTitle(title, "", "");
}
FunctionGraph functionGraph = graphData.getFunctionGraph();
Graph<FGVertex, FGEdge> graph = functionGraph;
String first = "Function Graph";
String functionName = function.getName();
String programName =
(currentProgram != null) ? currentProgram.getDomainFile().getName() : "";
String second = function.getName() + " - " + graph.getVertexCount() + " vertices (" +
String subTitle = functionName + " - " + graph.getVertexCount() + " vertices (" +
programName + ")";
return new Pair<>(first, second);
return new GraphTitle(title, subTitle, functionName);
}
private record GraphTitle(String title, String subTitle, String functionName) {
}
void doSetProgram(Program newProgram) {