Included Diffcalc commands to the API of diffutils, and adapted to latest version.

This commit is contained in:
2019-02-14 14:20:17 +01:00
parent e460afd04f
commit eaec82dd86
12 changed files with 435 additions and 603 deletions

View File

@@ -431,7 +431,7 @@ public class MainPanel extends Panel {
}
boolean viewDewar = true;
RoomTempBasePlatePanel roomTempPanel;
RoomTemperaturePanel roomTempPanel;
WaterLevelPanel waterLevelPanel;
void updateViewMode() {
@@ -443,9 +443,10 @@ public class MainPanel extends Panel {
((GroupLayout) panelTop.getLayout()).replace(waterLevelPanel, panelLN2Level);
} else {
if (roomTempPanel == null) {
roomTempPanel = new RoomTempBasePlatePanel();
roomTempPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("RT Humidifier"));
roomTempPanel = new RoomTemperaturePanel();
roomTempPanel.setBorder(javax.swing.BorderFactory.createTitledBorder("Room Temperature"));
}
roomTempPanel.setDevice(Controller.getInstance().roomTemperatureBasePlate);
((GroupLayout) panelTop.getLayout()).replace(basePlatePanel, roomTempPanel);
if (waterLevelPanel == null) {
waterLevelPanel = new WaterLevelPanel();