mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2025-10-03 09:49:23 +02:00
fixed issue with graph mouse controls not working if no listener is set.
This commit is contained in:
parent
612f4dcc9f
commit
acf3792307
1 changed files with 3 additions and 4 deletions
|
@ -198,9 +198,6 @@ public class DefaultGraphDisplay implements GraphDisplay {
|
|||
viewer.setInitialDimensionFunction(InitialDimensionFunction
|
||||
.builder(viewer.getRenderContext().getVertexBoundsFunction())
|
||||
.build());
|
||||
|
||||
graphMouse = new JgtPluggableGraphMouse(this);
|
||||
|
||||
createToolbarActions();
|
||||
createPopupActions();
|
||||
connectSelectionStateListeners();
|
||||
|
@ -647,7 +644,6 @@ public class DefaultGraphDisplay implements GraphDisplay {
|
|||
this.listener.graphClosed();
|
||||
}
|
||||
this.listener = listener;
|
||||
viewer.setGraphMouse(graphMouse);
|
||||
}
|
||||
|
||||
private void deselectEdge(AttributedEdge edge) {
|
||||
|
@ -1122,6 +1118,9 @@ public class DefaultGraphDisplay implements GraphDisplay {
|
|||
vv.getComponent().removeMouseListener(mouseListener);
|
||||
}
|
||||
|
||||
graphMouse = new JgtPluggableGraphMouse(this);
|
||||
viewer.setGraphMouse(graphMouse);
|
||||
|
||||
return vv;
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue