REDUCEConfigDialog: Append Pathname to Command label only if not using a shell or checking command pathname.

Author: fjwright

src/fjwright/runreduce/REDUCEConfigDialog.fxml

@@ -181,7 +181,10 @@
                 GridPane.rowIndex="3"/>
         <Text text="\$REDUCE used as a path prefix below is replaced by 'Command Root Directory' if it is set above, otherwise by 'REDUCE Root Directory'."
               wrappingWidth="600.0" GridPane.columnSpan="3" GridPane.rowIndex="4"/>
-        <Label text="Command Pathname" GridPane.rowIndex="5"/>
+        <HBox alignment="CENTER_LEFT" GridPane.rowIndex="5">
+            <Label text="Command"/>
+            <Label fx:id="commandPathnameLabel" text=" Pathname"/>
+        </HBox>
         <TextField fx:id="commandPathNameTextField" promptText="Required" GridPane.columnIndex="1"
                    GridPane.rowIndex="5">
             <tooltip>

src/fjwright/runreduce/REDUCEConfigDialog.java

@@ -42,6 +42,8 @@ public class REDUCEConfigDialog {
     @FXML
     private CheckBox useShellCheckBox, checkCommandCheckBox;
     @FXML
+    private Label commandPathnameLabel;
+    @FXML
     private TextField arg1TextField, arg2TextField, arg3TextField, arg4TextField, arg5TextField;
     @FXML
     private GridPane commandGridPane;
@@ -63,6 +65,8 @@ private void initialize() {
         listView.setItems(listViewObservableList = FXCollections.observableArrayList());
         setupDialog(RunREDUCE.reduceConfiguration);
         createCommandArgFCButtons();
+        commandPathnameLabel.visibleProperty().bind(useShellCheckBox.selectedProperty().not()
+                .or(checkCommandCheckBox.selectedProperty()));
     }
 
     /**