@Override
public void createInterfacePanel(final GraphEditor editor) {
super.createInterfacePanel(editor);
stateTable = new StateTable(new StateTableModel());
statePane.setViewportView(stateTable);
traceTable.setDefaultRenderer(Object.class, new TraceTableCellRendererImplementation());
}
@Override
public void activated(final GraphEditor editor) {
super.activated(editor);
initialiseStateMap();
setStatePaneVisibility(true);
}
@Override
public void updateState(final GraphEditor editor) {
super.updateState(editor);
updateSignalState();
stateTable.tableChanged(new TableModelEvent(traceTable.getModel()));
}
