From 955146812f76650ac60e79156a21eccc04156355 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Thu, 30 Nov 2017 01:27:02 +0100
Subject: [PATCH] Update on TTool
---
executablecode/Makefile.src | 2 +-
src/main/java/ui/tree/JDiagramTree.java | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/executablecode/Makefile.src b/executablecode/Makefile.src
index 8843c11729..ddc0929c15 100755
--- a/executablecode/Makefile.src
+++ b/executablecode/Makefile.src
@@ -1 +1 @@
-SRCS = generated_src/main.c generated_src/ObserverProp1.c generated_src/RemotelyControlledMicrowave.c generated_src/MicroWaveOven.c generated_src/Door.c generated_src/Magnetron.c generated_src/Controller.c generated_src/ControlPanel.c generated_src/Bell.c
\ No newline at end of file
+SRCS = generated_src/main.c generated_src/AlarmActuator.c generated_src/PressureSensor.c generated_src/PressureController.c generated_src/MainController.c generated_src/AlarmManager.c generated_src/Timer__alarmTimer__AlarmManager.c
\ No newline at end of file
diff --git a/src/main/java/ui/tree/JDiagramTree.java b/src/main/java/ui/tree/JDiagramTree.java
index 51b81852fd..94da16cff6 100755
--- a/src/main/java/ui/tree/JDiagramTree.java
+++ b/src/main/java/ui/tree/JDiagramTree.java
@@ -298,9 +298,9 @@ public class JDiagramTree extends javax.swing.JTree implements ActionListener, M
}
- public void expandPath(TreePath tp) {
+ /*public void expandPath(TreePath tp) {
expandPath(tp);
- }
+ }*/
public void treeCollapsed(TreeExpansionEvent treeExpansionEvent) {
m_expandedTreePaths.remove(treeExpansionEvent.getPath());
--
GitLab