From 7764f965be0f1faee9749b88008a5b55180e6558 Mon Sep 17 00:00:00 2001 From: ghidravore Date: Tue, 27 Oct 2020 18:42:41 -0400 Subject: [PATCH] using the jugrapht snapshot jar. --- Ghidra/Features/GraphServices/build.gradle | 6 ++++-- .../GraphServices/src/main/resources/jungrapht.properties | 5 ++++- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/Ghidra/Features/GraphServices/build.gradle b/Ghidra/Features/GraphServices/build.gradle index ac11ad34a9..8f454cfdd6 100644 --- a/Ghidra/Features/GraphServices/build.gradle +++ b/Ghidra/Features/GraphServices/build.gradle @@ -11,8 +11,10 @@ eclipse.project.name = 'Features Graph Services' dependencies { compile project(":Base") - compile "com.github.tomnelson:jungrapht-visualization:1.0-RC9" - compile "com.github.tomnelson:jungrapht-layout:1.0-RC9" + compile "com.github.tomnelson:jungrapht-visualization:1.0-SNAPSHOT" + compile "com.github.tomnelson:jungrapht-layout:1.0-SNAPSHOT" +// compile "com.github.tomnelson:jungrapht-visualization:1.0-RC9" +// compile "com.github.tomnelson:jungrapht-layout:1.0-RC9" compile "org.jgrapht:jgrapht-core:1.5.0" // not using jgrapht-io code that depends on antlr, so exclude antlr diff --git a/Ghidra/Features/GraphServices/src/main/resources/jungrapht.properties b/Ghidra/Features/GraphServices/src/main/resources/jungrapht.properties index 5508b4d905..68092f7035 100644 --- a/Ghidra/Features/GraphServices/src/main/resources/jungrapht.properties +++ b/Ghidra/Features/GraphServices/src/main/resources/jungrapht.properties @@ -42,7 +42,7 @@ jungrapht.mincross.verticalOffset=5 # how many times to run the full all-level cross count jungrapht.mincross.maxLevelCross=10 - +pass # how many times to iterate over the layers while swapping node positions (mincross) jungrapht.mincrossTransposeLimit=5 @@ -59,3 +59,6 @@ jungrapht.circle.reduceEdgeCrossingMaxEdges=200 # for layout algorithms that attempt to make the area optimal for the number # of graph vertices, this sets how dense the space is. jungrapht.initialDimensionVertexDensity=0.3f + +jungrapht.minScale=0.001 +jungrapht.maxScale=1.0