From 6f5066e16f3f012adbce0167c9c6a41495e67985 Mon Sep 17 00:00:00 2001 From: Francis Wright <59773998+fjwright@users.noreply.github.com> Date: Wed, 21 Oct 2020 18:41:55 +0100 Subject: [PATCH] Make "Generic information for all REDUCE commands" fields all optional, resetting to defaults where appropriate. Correct behaviour to allow the reduceRootDir TextField to be empty, and to use the commandRootDir if it is set. --- .../runreduce/REDUCEConfigDialog.fxml | 10 ++--- .../runreduce/REDUCEConfigDialog.java | 42 +++++++++++-------- 2 files changed, 30 insertions(+), 22 deletions(-) diff --git a/src/fjwright/runreduce/REDUCEConfigDialog.fxml b/src/fjwright/runreduce/REDUCEConfigDialog.fxml index ea84311..d163b27 100644 --- a/src/fjwright/runreduce/REDUCEConfigDialog.fxml +++ b/src/fjwright/runreduce/REDUCEConfigDialog.fxml @@ -45,7 +45,7 @@