Add function to remember old dividers positions

src/main/java/staffconnect/ui/MainWindow.java

@@ -59,9 +59,9 @@ public MainWindow(Stage primaryStage, Logic logic) {
 
         // Configure the UI
         setWindowDefaultSize(logic.getGuiSettings());
-
+        // The default divider is 0.43
         personOnDisplay = logic.getFirstPersonIfExist()
-                .map(PersonCard::new).orElse(new PersonCard());
+                .map(person -> new PersonCard(person, 0.43)).orElse(new PersonCard());
 
         helpWindow = new HelpWindow();
     }
@@ -87,7 +87,8 @@ public Stage getPrimaryStage() {
      */
     void fillInnerParts() {
 
-        personListPanel = new PersonListPanel(logic.getFilteredPersonList(), this::changePersonCard);
+        personListPanel =
+                new PersonListPanel(logic.getFilteredPersonList(), this::changePersonCard, this::getDividerPosition);
         personListPanel.setListSelectedIndex(0);
         personListPanelPlaceholder.getChildren().add(personListPanel.getRoot());
 
@@ -104,7 +105,6 @@ void fillInnerParts() {
         personCardPanelPlaceholder.getChildren().add(personOnDisplay.getRoot());
 
 
-
     }
 
     private void changePersonCard(PersonCard personToUpdate) {
@@ -115,6 +115,15 @@ private void changePersonCard(PersonCard personToUpdate) {
 
     }
 
+    /**
+     * Gets the current divider position, to be used by the UI only
+     *
+     * @return a double value of the divider position.
+     */
+    public double getDividerPosition() {
+        return personOnDisplay.getCurrentDividerPosition();
+    }
+
     /**
      * Executes the command and returns the result.
      *
@@ -137,9 +146,12 @@ private CommandResult executeCommand(String commandText) throws CommandException
             }
 
             if (commandResult.hasPersonAndIndex()) {
+
+                double dividerPosition = personOnDisplay.getCurrentDividerPosition();
                 int index = commandResult.getIndex();
                 commandResult.getPersonToDisplay()
-                        .ifPresentOrElse(person -> reloadPersonCardWithPerson(new PersonCard(person), index),
+                        .ifPresentOrElse(
+                                person -> reloadPersonCardWithPerson(new PersonCard(person, dividerPosition), index),
                                 this::reloadPersonCardWithRoot);
             } else {
                 reloadPersonCardWithRoot();
@@ -177,8 +189,9 @@ public void handleHelp() {
     }
 
     private void reloadPersonCardWithRoot() {
-
-        personOnDisplay = logic.getFirstPersonIfExist().map(PersonCard::new).orElse(new PersonCard());
+        double previousDividerPosition = personOnDisplay.getCurrentDividerPosition();
+        personOnDisplay = logic.getFirstPersonIfExist()
+                .map(person -> new PersonCard(person, previousDividerPosition)).orElse(new PersonCard());
 
         personCardPanelPlaceholder.getChildren().clear();
         personCardPanelPlaceholder.getChildren().add(personOnDisplay.getRoot());

src/main/java/staffconnect/ui/PersonCard.java

@@ -99,7 +99,7 @@ public PersonCard() {
     /**
      * Creates a {@code PersonCard} with the given {@code Person} and index to display.
      */
-    public PersonCard(Person person) {
+    public PersonCard(Person person, double previousDivider) {
         super(FXML);
         this.person = person;
 
@@ -112,6 +112,9 @@ public PersonCard(Person person) {
         module.setText("Module:  " + person.getModule().value);
         email.setText("Email:  " + person.getEmail().value);
 
+        // Set the previous divider position from the old index
+        splitDisplay.setDividerPosition(0, previousDivider);
+
         computePixelHeight(); //Set up the pixel height variables
 
         person.getTags().stream()
@@ -218,6 +221,15 @@ private double getLongestWidth(List<Meeting> meetingList) {
         }
     }
 
+    /**
+     * Gets the current divider position for usage in the UI.
+     * @return a double value of the current divider position.
+     */
+    public double getCurrentDividerPosition() {
+        double[] positions = splitDisplay.getDividerPositions();
+        return positions[0];
+    }
+
     /**
      * Custom {@code ListCell} that displays the graphics of a {@code Meetings} using a {@code MeetingsCard}.
      */

src/main/java/staffconnect/ui/PersonListPanel.java

@@ -24,17 +24,20 @@ public class PersonListPanel extends UiPart<Region> {
     /**
      * Creates a {@code PersonListPanel} with the given {@code ObservableList}.
      */
-    public PersonListPanel(ObservableList<Person> personList, PersonDisplay personDisplay) {
+    public PersonListPanel(ObservableList<Person> personList, PersonDisplay personDisplay,
+            DividerPosition dividerPosition) {
         super(FXML);
         personListView.setItems(personList);
         personListView.setCellFactory(listView -> new NameListViewCell());
         personListView.setOnKeyPressed(event -> {
             if (event.getCode() == KeyCode.ENTER) {
-                personDisplay.changePersonCard(new PersonCard(personListView.getSelectionModel().getSelectedItem()));
+                personDisplay.changePersonCard(new PersonCard(personListView.getSelectionModel().getSelectedItem(),
+                        dividerPosition.getDividerPosition()));
             }
         });
         personListView.setOnMouseClicked(event -> {
-            personDisplay.changePersonCard(new PersonCard(personListView.getSelectionModel().getSelectedItem()));
+            personDisplay.changePersonCard(new PersonCard(personListView.getSelectionModel().getSelectedItem(),
+                    dividerPosition.getDividerPosition()));
         });
     }
 
@@ -51,6 +54,18 @@ public void setListSelectedIndex(int index) {
 
     }
 
+    /**
+     * Represents a function that gets the previous divider position.
+     */
+    @FunctionalInterface
+    public interface DividerPosition {
+
+        /**
+         * Gets the current divider position
+         */
+        double getDividerPosition();
+    }
+
     /**
      * Represents a function that can change PersonCard.
      */