diff --git a/src/main/java/ui/ftd/FaultTreeDiagramPanel.java b/src/main/java/ui/ftd/FaultTreeDiagramPanel.java index c9e1393320ee028e6fa8c8c1436e76b467932578..76add2313cc41257b9efb0721f3ec8fe445e20a3 100644 --- a/src/main/java/ui/ftd/FaultTreeDiagramPanel.java +++ b/src/main/java/ui/ftd/FaultTreeDiagramPanel.java @@ -66,42 +66,53 @@ public class FaultTreeDiagramPanel extends TDiagramPanel implements TDPWithAttri public FaultTreeDiagramPanel(MainGUI mgui, TToolBar _ttb) { super(mgui, _ttb); } - + + @Override public boolean actionOnDoubleClick(TGComponent tgc) { return true; } + @Override public boolean actionOnAdd(TGComponent tgc) { return false; } + + @Override public boolean actionOnValueChanged(TGComponent tgc) { return false; } - + + @Override public boolean actionOnRemove(TGComponent tgc) { return false; } - + + @Override public String getXMLHead() { return "<FaultTreeDiagramPanel name=\"" + name + "\"" + sizeParam() + zoomParam() + " >"; } - + + @Override public String getXMLTail() { return "</FaultTreeDiagramPanel>"; } - + + @Override public String getXMLSelectedHead() { return "<FaultTreeDiagramPanelCopy name=\"" + name + "\" xSel=\"" + xSel + "\" ySel=\"" + ySel + "\" widthSel=\"" + widthSel + "\" heightSel=\"" + heightSel + "\" >"; } - + + @Override public String getXMLSelectedTail() { return "</FaultTreeDiagramPanelCopy>"; } - + + @Override public String getXMLCloneHead() { return "<FaultTreeDiagramPanelCopy name=\"" + name + "\" xSel=\"" + 0 + "\" ySel=\"" + 0 + "\" widthSel=\"" + 0 + "\" heightSel=\"" + 0 + "\" >"; } - + + @Override public String getXMLCloneTail() { return "</FaultTreeDiagramPanelCopy>"; } @@ -130,7 +141,8 @@ public class FaultTreeDiagramPanel extends TDiagramPanel implements TDPWithAttri return list; } - + + @Override public boolean hasAutoConnect() { return false; } diff --git a/src/main/java/ui/ftd/FaultTreeDiagramToolbar.java b/src/main/java/ui/ftd/FaultTreeDiagramToolbar.java index 40eaa5118a5b7923ea411676fc802166c20d2d55..ab71a6f9c241dab3e9146bf2347cf51d29d8e054 100644 --- a/src/main/java/ui/ftd/FaultTreeDiagramToolbar.java +++ b/src/main/java/ui/ftd/FaultTreeDiagramToolbar.java @@ -63,7 +63,8 @@ public class FaultTreeDiagramToolbar extends TToolBar { super(_mgui); } - + + @Override protected void setActive(boolean b) { mgui.actions[TGUIAction.ACT_ZOOM_MORE].setEnabled(b); mgui.actions[TGUIAction.ACT_ZOOM_LESS].setEnabled(b); @@ -91,7 +92,8 @@ public class FaultTreeDiagramToolbar extends TToolBar { mgui.actions[TGUIAction.ACT_MODEL_CHECKING].setEnabled(b); } - + + @Override protected void setButtons() { JButton button;