displaySettings.addObserver(() -> viewer.refresh());
MachineContext.getInstance().registerObserver(this);
+ setMachine(Optional.ofNullable(MachineContext.getInstance().getMachine()));
}
public void highlight(int index)
private void deleteColumns()
{
for (TableViewerColumn col : columns)
- col.getColumn().dispose();
+ if (col != null)
+ col.getColumn().dispose();
}
private void createColumns()
createEditingAndLabel(createTableViewerColumn(name, bounds), miDef, i);
}
-
}
private void createEditingAndLabel(TableViewerColumn col, MicroInstructionDefinition miDef, int index)