14 adapt correct font size for long name, fix a bug while storing student info

Author: RocketMaDev

out/production/DeskSorting/cn/rocket/deksrt/main/Entry.class

@@ -124,7 +124,7 @@ private void exportStuInfo() {
             sb.append(student.getName()).append("$").append(student.getPinyin()).append("$")
                     .append(Boolean.valueOf(student.isBoarding())).append(",");
         }
-        sb.replace(sb.length() - 1, sb.length() - 1, ";");
+        sb.deleteCharAt(sb.length() - 1).append(';');
         sb.deleteCharAt(sb.length() - 1);
         try (OutputStreamWriter osw = new OutputStreamWriter(new FileOutputStream(infoFile), StandardCharsets.UTF_8)) {
             osw.write(sb.toString());

src/cn/rocket/deksrt/main/Entry.java

@@ -1,7 +1,7 @@
 package cn.rocket.deksrt.main;
 
-import cn.rocket.deksrt.util.StudentList;
 import cn.rocket.deksrt.util.Student;
+import cn.rocket.deksrt.util.StudentList;
 
 /**
  * @author Rocket

src/cn/rocket/deksrt/main/GlobalVariables.java

@@ -15,6 +15,7 @@
 import javafx.scene.control.Label;
 import javafx.scene.layout.GridPane;
 import javafx.scene.paint.Paint;
+import javafx.scene.text.Font;
 import javafx.stage.Stage;
 
 import java.io.File;
@@ -34,6 +35,8 @@ public class MainWindow {
     private JFXTextField[][] textfields;
     private Student[][] students;
     private int index;
+    private static final Font size15 = new Font(15);
+    private static final Font size12 = new Font(12);
 
     @FXML
     JFXCheckBox quickSwapCB;
@@ -104,13 +107,17 @@ void initialize() throws IllegalAccessException {
         textfields = new JFXTextField[7][8];
 
         for (AutoIterator i = new AutoIterator(AutoIterator.SQUARE_ARRAY); i.hasNextWithUpdate(); i.next()) {
-            btns[i.y][i.x] = new JFXButton();
-            btns[i.y][i.x].setPrefSize(80, 45);
-            btns[i.y][i.x].setOnAction(new ButtonEventHandler(i.x, i.y));
-
-            textfields[i.y][i.x] = new JFXTextField();
-            textfields[i.y][i.x].setVisible(false);
-            textfields[i.y][i.x].setDisable(true);
+            JFXButton btn = new JFXButton();
+            btns[i.y][i.x] = btn;
+            btn.setPrefSize(80, 45);
+            btn.setOnAction(new ButtonEventHandler(i.x, i.y));
+            btn.setFont(size15);
+
+            JFXTextField textField = new JFXTextField();
+            textfields[i.y][i.x] = textField;
+            textField.setFont(size15);
+            textField.setVisible(false);
+            textField.setDisable(true);
         }
         for (AutoIterator i = new AutoIterator(AutoIterator.GRID0); i.hasNextWithUpdate(); i.next()) {
             grid0.add(btns[i.y][i.x], i.x, i.y);
@@ -207,6 +214,10 @@ private void updateTable(int x, int y) {
             btn.setText("");
         } else {
             btn.setText(students[y][x].getName());
+            if (btn.getText().length()>4)
+                btn.setFont(size12);
+            else
+                btn.setFont(size15);
             btn.setTextFill(students[y][x].isBoarding() ? Paint.valueOf("BLUE") : Paint.valueOf("GREEN"));
         }
         if (btn.isDisable())