public int getMinimumNodeDistance() {
    return Integer.parseInt(minimumNodeDistance.getText());
  }
Settings panel for circular graph layouts.
java/ui/src/main/java/com/google/security/zynamics/bindiff/gui/dialogs/graphsettings/panels/CircularLayoutPanel.java